5377 search results - page 714 / 1076 » Programming Languages For Interactive Computing |
144
click to vote
IFL
2004
Springer
15 years 10 months ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
128
click to vote
PADL
1999
Springer
15 years 9 months ago
1999
Springer
The copying approach to tabling (CAT) is an alternative to SLG-WAM and based on incrementally copying the areas that the SLG-WAM freezes to preserve execution states of suspended ...
136
click to vote
SIGSOFT
1996
ACM
15 years 9 months ago
1996
ACM
ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle studies an abstract model of dependencies between software configuration items ...
158
Voted
ASPLOS
1992
ACM
15 years 9 months ago
1992
ACM
Next generation computer systems will have gigabytes of physical memory and processors in the 200 MIPS range or higher. While this trend suggests that memory management for most p...
155
Voted
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The pure pattern calculus generalises the pure lambda-calculus by basing computation on pattern-matching instead of beta-reduction. The simplicity and power of the calcul...