1264 search results - page 18 / 253 » Abstract machines for programming language implementation |
126
click to vote
ML
2006
ACM
15 years 8 months ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...
228
Voted
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
In this paper, we study the modelization of biochemical reaction by using concurrent constraint programming idioms. In particular we will consider the stochastic concurrent constra...
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
Current implementations for aspect-oriented programming languages map the aspect-oriented concepts of source programs to object-oriented bytecode. This hinders execution environme...
130
click to vote
IADIS
2009
15 years 7 days ago
2009
IONS FOR ROBOT COLLABORATION Bent Bruun Kristensen Maersk Mc-Kinney Moller Institute, University of Southern Denmark Campusvej 55, DK-5230, Odense M, Denmark Collaboration between...
SFP
2004
15 years 3 months ago
2004
: In previous work we showed how to verify a compiler for a small language with exceptions. In this article we show how to calculate, as opposed to an abstract machine for this lan...