4959 search results - page 21 / 992 » Imperative Functional Programming |
SIGSOFT
2008
ACM
15 years 11 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
SIGCSE
2008
ACM
14 years 10 months ago
2008
ACM
In this paper, the S-expression Interpreter Framework (SIF) is presented as a tool for teaching language design and implementation. The SIF is based on the interpreter design patt...
CAISE
2009
Springer
15 years 5 months ago
2009
Springer
Advantages and shortcomings of different process modeling languages are heavily debated, both in academia and industry, but little evidence is presented to support judgements. Wit...
DAGSTUHL
1996
14 years 12 months ago
1996
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalua...
ECOOPWEXCEPTION
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. This paper describes a scheme of manipulating (partial) continuations in imperative languages such as Java and C++ in a portable manner, where the portability means that ...