1264 search results - page 31 / 253 » Abstract machines for programming language implementation |
SIGSOFT
2004
ACM
14 years 2 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...
ICLP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been deļ¬ned. The framework allows to deļ¬ne different not...
CORR
2011
Springer
13 years 28 days ago
2011
Springer
Modern high-end machines feature multiple processor packages, each of which contains multiple independent cores and integrated memory controllers connected directly to dedicated p...
ML
2007
ACM
13 years 8 months ago
2007
ACM
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
PSLS
1995
14 years 21 days ago
1995
Abstract. Lazy task creation (LTC) is an e cient approach for executing divide and conquer parallel programs that has been used in the implementation of Multilisp's future con...