Optimization of parser tables for portable compilers
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Lessons from the design of the Eiffel libraries
Communications of the ACM
Parameter-passing and the lambda calculus
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Recollections about the development of Pascal
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Programming with variable functions
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
PL360, a Programming Language for the 360 Computers
Journal of the ACM (JACM)
An Algorithmic Semantics for ALGOL 60 Identifier Denotation
Journal of the ACM (JACM)
Proving Properties of Complex Data Structures
Journal of the ACM (JACM)
Data Flow Analysis for Procedural Languages
Journal of the ACM (JACM)
Comparison of the Programming Languages C and Pascal
ACM Computing Surveys (CSUR)
Ten Years of Hoare's Logic: A Survey—Part I
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programmers use slices when debugging
Communications of the ACM
Curriculum recommendations for graduate professional programs in information systems
Communications of the ACM
Garbage collection for virtual memory computer systems
Communications of the ACM
GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
Communications of the ACM
Communications of the ACM
Letters to the editor: go to statement considered harmful
Communications of the ACM
Letters to the editor: Language protection by trademark ill-advised
Communications of the ACM
An ALGOL-based associative language
Communications of the ACM
On multiprogramming, machine coding, and computer organization
Communications of the ACM
Communications of the ACM
Proposed library of programs for personnel and related work
Communications of the ACM
Letters to the editor: On computer appreciation in the undergraduate curriculum
Communications of the ACM
Programming Languages: GPL, a truly general purpose language
Communications of the ACM
SIMULA: an ALGOL-based simulation language
Communications of the ACM
Procedure linkage optimization working paper
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The functional power of parameter passage mechanism
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
On the use of pointers and the teaching of disciplined programming
SIGCSE '76 Proceedings of the sixth SIGCSE technical symposium on Computer science education
A quantitative assessment of IBM's programming productivity techniques
DAC '76 Proceedings of the 13th Design Automation Conference
The assignment axiom and programming language design
ACM '76 Proceedings of the 1976 annual conference
ACM '73 Proceedings of the ACM annual conference
Programming with(out) the GOTO
ACM '72 Proceedings of the ACM annual conference - Volume 2
ACM '72 Proceedings of the ACM annual conference - Volume 2
An interactive system for proving theorems in the predicate calculus
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Reflections on a systems programming language
Proceedings of the SIGPLAN symposium on Languages for system implementation
Programming without pointer variables
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Babel, an application of extensible compilers
Proceedings of the international symposium on Extensible languages
A systems implementation language for small computers
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
A short discussion of interprocess communication in the sue/360/370 operating system
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Origins of the APT language for automatically programmed tools
ACM SIGPLAN Notices - Special issue: History of programming languages conference
Programming-in-the large versus programming-in-the-small
Proceedings of the international conference on Reliable software
LINUS: A structured language for instructional use
SIGCSE '74 Proceedings of the fourth SIGCSE technical symposium on Computer science education
A compiler language for data structures
ACM '68 Proceedings of the 1968 23rd ACM national conference
Software pioneers
The programming language Pascal
Software pioneers
Go to statement considered harmful
Software pioneers
Comments on parameter passing techniques in programming languages
ACM SIGPLAN Notices
The string as a simple data type
ACM SIGPLAN Notices
A programming language for mini-computer systems
ACM SIGPLAN Notices
Progress: a programming language for real-time systems
ACM SIGPLAN Notices
ACM SIGPLAN Notices
A note on one-pass CASE statement compilation
ACM SIGPLAN Notices
Programming with(out) the GOTO
ACM SIGPLAN Notices - Special issue on control structures in programming languages
ACM SIGPLAN Notices - Special issue on control structures in programming languages
An overview of the programming language Smalltalk-72
ACM SIGPLAN Notices
Correctness of data representations involving heap data structures
Science of Computer Programming - Special issue on 12th European symposium on programming (ESOP 2003)
The roots of structured programming
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
History of programming languages---II
Recollections about the development of Pascal
History of programming languages---II
ALGOL Bulletin
Remarks on "Contribution to the Development of ALGOL"
ALGOL Bulletin
A Note on Programming Languages
ALGOL Bulletin
For Statements and the Copy Rule
ALGOL Bulletin
Encyclopedia of Computer Science
A historical perspective on runtime assertion checking in software development
ACM SIGSOFT Software Engineering Notes
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Origins of the APT language for automatically programmed tools
History of programming languages I
Go to statement considered harmful
Classics in software engineering
Classics in software engineering
Communications of the ACM - 50th anniversary issue: 1958 - 2008
Scientific programming in Fortran
Scientific Programming - Fortran Programming Language and Scientific Programming: 50 Years of Mutual Growth
A system for time-sharing graphic consoles
AFIPS '66 (Fall) Proceedings of the November 7-10, 1966, fall joint computer conference
The XPL compiler generator system
AFIPS '68 (Fall, part I) Proceedings of the December 9-11, 1968, fall joint computer conference, part I
An efficient system for user extendible languages
AFIPS '68 (Fall, part II) Proceedings of the December 9-11, 1968, fall joint computer conference, part II
Objects and values: the basis of a storage model for procedural languages
IBM Journal of Research and Development
APLGOL, an experimental structured programming language
IBM Journal of Research and Development
Correctness of data representations involving heap data structures
ESOP'03 Proceedings of the 12th European conference on Programming
Understanding programming language concepts via operational semantics
Domain modeling and the duration calculus
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Constructors for composed objects
Computer Languages
An n2 algorithm for determining the bridges of a graph
Information Processing Letters
| Hi-index | 48.45 |