4 works Add another?
Most Editions | First Published | Most Recent
-
Incremental attribute evaluation in distributed language-based environments
1 edition - first published in 1986 -
Incremental attribute evaluation on node-label controlled graphs
1 edition - first published in 1987 -
Verification of recursive programs
1 edition - first published in 1985 -
Specification and verification of context conditions for programming languages
1 edition - first published in 1985
History Created April 1, 2008 · 2 revisions
| August 20, 2008 | Edited by an anonymous user | fix author name |
| April 1, 2008 | Created by an anonymous user | initial import |
