12452 search results - page 247 / 2491 » An exploration of program as language |
122
click to vote
ASPLOS
2006
ACM
16 years 20 days ago
2006
ACM
Peephole optimizers are typically constructed using human-written pattern matching rules, an approach that requires expertise and time, as well as being less than systematic at ex...
166
click to vote
PPDP
2005
Springer
16 years 5 days ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
168
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
This paper explores how user modelling can work as an aid for human assistants in a user support system for web sites. Information about the user can facilitate for the assistant t...
163
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
Our work explores an interactive open learner modelling (IOLM) approach where learner diagnosis is considered as an interactive process involving both a computer system and a learn...
180
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In programming language semantics, it has proved to be fruitful to analyze context-dependent notions of computation, e.g., dataflow computation and attribute grammars, using comona...