678 search results - page 77 / 136 » A simple typed intermediate language for object-oriented lan... |
ICFP
2009
ACM
14 years 9 months ago
2009
ACM
We describe the implementation of first-class polymorphic delimited continuations in the programming language Scala. We use Scala's pluggable typing architecture to implement...
TOOLS
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...
WISE
2002
Springer
14 years 1 months ago
2002
Springer
We propose a new approach for the efficient evaluation of XPath expressions. This is important, since XPath is not only used as a simple, stand-alone query language, but is also ...
ICFP
1998
ACM
14 years 29 days ago
1998
ACM
If the continuations in functional data-structure-generating programs are made explicit and represented as records, they can be recycled." Once they have served their purpose...
COORDINATION
2006
Springer
14 years 14 days ago
2006
Springer
The coordination language Paradigm allows for a flexible and orthogonal modeling of interprocess relationships at the architectural level. It is shown how dynamic system adaptation...