10568 search results - page 668 / 2114 » Computer Intelligence and Formalization |
193
click to vote
IFIPTCS
2000
15 years 10 months ago
2000
Abstract We present a first distributed implementation of the CardelliGordon's ambient calculus. We use Jocaml as an implementation language and we present a formal translatio...
182
click to vote
RTA
1987
Springer
15 years 10 months ago
1987
Springer
We present completion methods for rewriting modulo a congruence, generalizing previous methods by Peterson and Stickel (1981) and Jouannaud and Kirchner (1986). We formalize our me...
213
click to vote
CONCUR
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Dynamic separation is a new programming discipline for systems with transactional memory. We study it formally in the setting of a small calculus with transactions. We pr...
207
click to vote
COORDINATION
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We show how to extend a coordination language with support for aspect oriented programming. The main challenge is how to properly deal with the trapping of actions before...
206
click to vote
FMOODS
2003
15 years 8 months ago
2003
This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for o...