Use of the concept of transparency in the design of hierarchically structured systems
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Error checking with pointer variables
ACM '76 Proceedings of the 1976 annual conference
Automatic program analysis and evaluation
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Control structure abstractions of the backtracking programming technique
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Test procedures: A new approach to software verification
ICSE '76 Proceedings of the 2nd international conference on Software engineering
An experimental evaluation of data types on programming reliability
Proceedings of an ACM conference on Language design for reliable software
Knowledge about programs: A model and case study
Proceedings of the international conference on Reliable software
The design of transportable interpreters.
The design of transportable interpreters.
Procedure-based linguistic mechanisms in programming languages.
Procedure-based linguistic mechanisms in programming languages.
An approach to defining areas within the field of software engineering
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.01 |