4 search results - page 1 / 1 » iRho: an imperative rewriting calculus |
PPDP
2004
Springer
13 years 10 months ago
2004
Springer
ENTCS
2008
13 years 4 months ago
2008
Logical frameworks have enjoyed wide adoption as meta-languages for describing deductive systems. While the techniques for representing object languages in logical frameworks are ...
CONCUR
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. An impure language is one that combines functional and imperative constructs. We propose a method for ensuring termination of impure concurrent languages that makes it po...
ENTCS
2002
13 years 4 months ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...