- Full text PDF available (2)
- This year (0)
- Last 5 years (0)
- Last 10 years (0)
Journals and Conferences
The incremental cost of a change to a program often is disproportionately high because of inadequate means of determining the semantic effects of the change. A practical logical technique is… (More)
Some new features have been added to OBJ3. The syntax and usage of these new features are brie°y described.
We consider languages whose operational semantics is given by a set of rewrite rules. For such languages, it is important to be able to determine that there are enough rules to completely reduce all… (More)