1588 search results - page 108 / 318 » Modular action language |
197
Voted
POPL
2003
ACM
16 years 3 months ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
111
Voted
CROSSROADS
2006
15 years 3 months ago
2006
Program transformation techniques have reached a maturity level that allows processing high-level language sources in new ways. Not only do they revolutionize the implementation o...
109
click to vote
AROBOTS
2000
15 years 3 months ago
2000
In this paper, I describe a simple functional programming language, GRL, in which most of the characteristic features of the popular behavior-based robot architectures can be conc...
212
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...
124
Voted
FSMNLP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The last decade has seen an increase in the number of available corpus query systems. These systems generally implement a query language as well as a database model. We r...