Tree-oriented interactive processng with an application to theorem-proving

Authors:
David Hammerlag;Samuel N. Kamin;Roy H. Campbell
Affiliations:
-;-;-
Venue:
Proceedings of the second conference on Software development tools, techniques, and alternatives
Year:
1985

An early report on encompass

ICSE '88 Proceedings of the 10th international conference on Software engineering
Transformational derivation of programs using the focus system

SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
PLEASE:Predictable Logic based ExecutAble SpeCifications

CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
An overview and bibliography of ENCOMPASS: an environment for incremental software development using executable, logic-based specification

ACM SIGSOFT Software Engineering Notes

Hi-index	0.00