A modular verifiable exception handling mechanism
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Software development: state of the art vs. state of the practice
ICSE '89 Proceedings of the 11th international conference on Software engineering
The early history of Smalltalk
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Programming paradigms involving exceptions: a software quality approach
WADAS '87 Proceedings of the Joint Ada conference fifth national conference on Ada technology and fourth Washington Ada Symposium
Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
Communications of the ACM
Communications of the ACM
Exception handling: issues and a proposed notation
Communications of the ACM
Monoids for rapid data flow analysis
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Applications of high level control flow
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Node listings applied to data flow analysis
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
New control structures to aid gotolessness
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The PSI Program Model Builder - synthesis of very high-level programs
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Introducing a Software Design Language
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Some considerations in database application programming
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Gypsy: A language for specification and implementation of verifiable programs
Proceedings of an ACM conference on Language design for reliable software
Proceedings of an ACM conference on Language design for reliable software
Structured transfer of control
ACM SIGPLAN Notices
A proposal for a Fortran loop construct
ACM SIGPLAN Notices
Positional versus keyword parameter communication in programming languages
ACM SIGPLAN Notices
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Free form structured FORTRAN translator
ACM SIGPLAN Notices
Structured FORTRAN with no preprocessor
ACM SIGPLAN Notices
Issues in programming language design: an overview
ACM SIGPLAN Notices - Special issue on programming language design
Exception handling design issues
ACM SIGPLAN Notices - Special issue on programming language design
On extending Fortran control structures to facilitate structured programming
ACM SIGPLAN Notices
Experience with extensible, portable Fortran extensions
ACM SIGPLAN Notices
An overview of the programming language Smalltalk-72
ACM SIGPLAN Notices
The roots of structured programming
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
The early history of Smalltalk
History of programming languages---II
Structured programming with go to statements
Classics in software engineering
Issues in programming language design: an overview
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
A mechanism for exception handling and its verification rules
Computer Languages
Hi-index | 0.05 |