678 search results - page 77 / 136 » A simple typed intermediate language for object-oriented lan... |
247
click to vote
ICFP
2009
ACM
16 years 5 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...
117
click to vote
TOOLS
1999
IEEE
15 years 8 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...
160
click to vote
WISE
2002
Springer
15 years 9 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 ...
138
click to vote
ICFP
1998
ACM
15 years 8 months 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...
149
click to vote
COORDINATION
2006
Springer
15 years 8 months 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...