3653 search results - page 279 / 731 » On Recognizable Timed Languages |
189
click to vote
PLDI
2010
ACM
16 years 12 days ago
2010
ACM
Arrays are the ubiquitous organization for indexed data. Throughout programming language evolution, implementations have laid out arrays contiguously in memory. This layout is pro...
211
click to vote
ERSHOV
1989
Springer
15 years 11 months ago
1989
Springer
This paper reports two experiments with implementations of constructions from theoretical computer science. The first one deals with Kleene’s and Rogers’ second recursion the...
190
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful ion facilities at our fingertips, but how can we...
214
click to vote
IFL
2005
Springer
16 years 25 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
208
click to vote
PLDI
2010
ACM
16 years 12 days ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...