1154 search results - page 54 / 231 » Implementing Typed Intermediate Languages |
POPL
2007
ACM
14 years 8 months ago
2007
ACM
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...
ECOOP
2012
Springer
11 years 10 months ago
2012
Springer
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...
SIGARCH
2008
13 years 7 months ago
2008
As multicore architectures gain widespread use, it becomes increasingly important to be able to harness their additional processing power to achieve higher performance. However, e...
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
ECOOPWEXCEPTION
2000
Springer
13 years 11 months ago
2000
Springer
This paper motivates and presents the specification and the implementation of an exception handling system for an dynamically typed object-oriented language. A full object-oriented...