7943 search results - page 96 / 1589 » A calculus for costed computations |
ICALP
2009
Springer
15 years 10 months ago
2009
Springer
NSDI
2010
14 years 11 months ago
2010
MKM
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents a proof language based on the work of Sacerdoti Coen [1,2], Kirchner [3] and Autexier [4] on ¯λµ˜µ, a calculus introduced by Curien and Herbelin [5,6]. Jus...
AOSD
2007
ACM
15 years 2 months ago
2007
ACM
stract Semantics of Additive Aspects by Translation S. B. Sanjabi C.-H. L. Ong Oxford University Computing Laboratory We study the denotational semantics of an aspect calculus by ...
107
click to vote
IFIPTCS
2010
14 years 8 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...