27 search results - page 1 / 6 » The adequacy of languages for representing interaction mecha... |
ISF
2007
13 years 10 months ago
2007
PLDI
1996
ACM
14 years 3 months ago
1996
ACM
Traditional first-class continuation mechanisms allow a captured continuation to be invoked multiple times. Many continuations, however, are invoked only once. This paper introduc...
EPEW
2005
Springer
14 years 4 months ago
2005
Springer
Choreography languages provide a top-view design way for describing complex systems composed of services distributed over the network. The basic building block of such languages is...
DSVIS
2003
Springer
14 years 4 months ago
2003
Springer
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
JFP
2007
13 years 10 months ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...