81 search results - page 2 / 17 » A Calculus for Semantic Composition and Scoping |
JLP
2008
13 years 10 months ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
CONCUR
2007
Springer
14 years 5 months ago
2007
Springer
LLC
2010
13 years 5 months ago
2010
The interpretation of conditionals in the scope of a quantifier (as in `No student will succeed if he goofs off') presents a troubling puzzle. Either we are forced to abandon...
LCPC
1992
Springer
14 years 2 months ago
1992
Springer
The Gamma model is a minimal programming language based on local multiset rewriting (with an elegant chemical reaction metaphor); Hankin et al derived a calculus of Gamma programs...
ECOOPW
1994
Springer
14 years 3 months ago
1994
Springer
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....