The Computer Journal
Common LISP: the language
The Turing programming language: design and definition
The Turing programming language: design and definition
Eiffel: a language and environment for software engineering
Journal of Systems and Software
Programming languages should NOT have comment statements
ACM SIGPLAN Notices
An axiomatic basis for computer programming
Communications of the ACM
Revised report on the algorithm language ALGOL 60
Communications of the ACM
Object-Oriented Software Construction
Object-Oriented Software Construction
Report on the programming language Euclid
ACM SIGPLAN Notices
Language Design for Program Manipulation
IEEE Transactions on Software Engineering
Enhancing program comprehension: formatting and documenting
ACM SIGPLAN Notices
Proceedings of the 30th international conference on Software engineering
FM '08 Proceedings of the 15th international symposium on Formal Methods
| Hi-index | 0.00 |