Sciweavers

1 search results - page 1 / 1
» lcpc 1992
Sort
View
LCPC
1992
Springer
13 years 8 months ago
A Calculus of Gamma Programs
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...
Chris Hankin, Daniel Le Métayer, David Sand...