4743 search results - page 566 / 949 » The PlusCal Algorithm Language |
166
click to vote
PPDP
2005
Springer
16 years 6 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...
191
click to vote
MM
2004
ACM
16 years 4 days ago
2004
ACM
Our research on Interactive Drama aims at conciliating interaction and story at the deepest level, the level of action. From a given story representation formalism, a set of eleme...
155
click to vote
SAC
2004
ACM
16 years 4 days ago
2004
ACM
Field-based coordination is a very promising approach for a wide range of application scenarios in modern dynamic networks. To implement such an approach, one can rely on distribu...
149
click to vote
SIGCSE
2004
ACM
16 years 4 days ago
2004
ACM
We describe the instructional software JFLAP 4.0 and how it can be used to provide a hands-on formal languages and automata theory course. JFLAP 4.0 doubles the number of chapters...
163
Voted
CC
2004
Springer
16 years 3 days ago
2004
Springer
This paper concerns static-analysis algorithms for analyzing x86 executables. The aim of the work is to recover intermediate representations that are similar to those that can be c...