Generating language-based environments
Generating language-based environments
Writing Larch interface language specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
The synthesizer generator reference manual (3rd ed.)
The synthesizer generator reference manual (3rd ed.)
An overview of LP, the larch power
RTA-89 Proceedings of the 3rd international conference on Rewriting Techniques and Applications
Proving Theorems about LISP Functions
Journal of the ACM (JACM)
Simplification by Cooperating Decision Procedures
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Science of Programming
A Discipline of Programming
Program verification based on denotation semantics
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Stanford Pascal Verifier user manual
Stanford Pascal Verifier user manual
ANNA: a language for annotating ADA programs
ANNA: a language for annotating ADA programs
SUVS: a distributed real-time system testbed for fault-tolerant computing
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Communications of the ACM - Special issue: multiprocessing
| Hi-index | 0.00 |