Conference paper
Incremental program testing in a very high level language
B.M. Leavenworth
ACM Annual Conference 1976
Paper
Transition functions: A method for semantic extensions
Related
Conference paper
Transition functions: A method for semantic extensions
B.M. Leavenworth
International Symposium on Extensible Languages 1971
B.M. Leavenworth
SIGMOD Record
B.M. Leavenworth
Software - Practice and Experience