4743 search results - page 566 / 949 » The PlusCal Algorithm Language |
113
Voted
PPDP
2005
Springer
15 years 8 months 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...
143
Voted
MM
2004
ACM
15 years 8 months 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...
104
Voted
SAC
2004
ACM
15 years 8 months 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...
SIGCSE
2004
ACM
15 years 8 months 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...
118
click to vote
CC
2004
Springer
15 years 8 months 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...