632 search results - page 23 / 127 » Explicit Substitutions and Programming Languages |
ECOOP
2000
Springer
14 years 1 months ago
2000
Springer
The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows...
AC
2000
Springer
14 years 1 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
ICFP
2012
ACM
11 years 11 months ago
2012
ACM
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
IASTEDSEA
2004
13 years 10 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
ESOP
2003
Springer
14 years 1 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...