A Deterministic Attribute Grammar Evaluator Based on Dynamic Scheduling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstraction and verification in Alphard: defining and specifying iteration and generators
Communications of the ACM
Communications of the ACM
Logical Construction of Systems
Logical Construction of Systems
PASCAL user manual and report
A system for program refinement
ICSE '79 Proceedings of the 4th international conference on Software engineering
Proceedings of an ACM conference on Language design for reliable software
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Principles of Program Design
A form-based approach to human engineering methodologies
ICSE '82 Proceedings of the 6th international conference on Software engineering
Design and implementation of an adaptable software environment
Computer Languages
| Hi-index | 0.00 |