2004 search results - page 291 / 401 » Interaction nets: programming language design and implementa... |
166
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...
134
click to vote
ECOOP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. While real-time garbage collection is now available in production virtual machines, the lack of generational capability means applications with high allocation rates are ...
140
click to vote
LADS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, as a result of several factors, such...
124
click to vote
CONCURRENCY
2008
15 years 5 months ago
2008
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...
131
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 ...