A modular verifiable exception handling mechanism
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Procedures as persistent data objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
A project-based course in compiler construction
SIGCSE '86 Proceedings of the seventeenth SIGCSE technical symposium on Computer science education
A Historical Overview of Computer Architecture
IEEE Annals of the History of Computing
Eli: a complete, flexible compiler construction system
Communications of the ACM
CONS should not CONS its arguments, or, a lazy alloc is a smart alloc
ACM SIGPLAN Notices
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Linear logic and permutation stacks—the Forth shall be first
ACM SIGARCH Computer Architecture News - Special issue: panel sessions of the 1991 workshop on multithreaded computers
An Elementary Discussion of Compiler/Interpreter Writing
ACM Computing Surveys (CSUR)
Referencing and Retention in Block-Structured Coroutines
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Model for Implementing EUCLID Modules and Prototypes
ACM Transactions on Programming Languages and Systems (TOPLAS)
An event-driven compiling technique
Communications of the ACM
Communications of the ACM
Curriculum recommendations for graduate professional programs in information systems
Communications of the ACM
Communications of the ACM
A university's educational program in computer science
Communications of the ACM
DITRAN—a compiler emphasizing diagnostics
Communications of the ACM
The remaining trouble spots in ALGOL 60
Communications of the ACM
An undergraduate program in computer science—preliminary recommendations
Communications of the ACM
A unified approach to global program optimization
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
IEEE Annals of the History of Computing
Module structure in an evolving family of real time systems
ICSE '79 Proceedings of the 4th international conference on Software engineering
A course in computer structures
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
Instruction architecture of an aerospace multiprocessor
HLLCA '73 Proceedings of the ACM-IEEE symposium on High-level-language computer architecture
Two PARALLEL EULER run time models: The dangling reference, impostor environment, and label problems
HLLCA '73 Proceedings of the ACM-IEEE symposium on High-level-language computer architecture
On the time required for retention
HLLCA '73 Proceedings of the ACM-IEEE symposium on High-level-language computer architecture
The Pica-B Computer An Abstract Target Machine For A Transportable Single-User Operating Environment
ACM '78 Proceedings of the 1978 annual conference
Some implications of APL order-of-execution rules
APL '79 Proceedings of the international conference on APL: part 1
ALGOL-E: An Experimental Approach to The Study of Programming Languages
SIGCSE '72 Proceedings of the second SIGCSE technical symposium on Education in computer science
Block structure (Extended Abstract): Retention or deletion?
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
ACM '76 Proceedings of the 1976 annual conference
An introduction to AMBIT/L, a diagrammatic language for list processing
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
A model for implementing Euclid modules and type templates
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Proceedings of ACM conference on Proving assertions about programs
Operational semantics of programming languages
Proceedings of ACM conference on Proving assertions about programs
Babel, an application of extensible compilers
Proceedings of the international symposium on Extensible languages
Why not innovations in computer architecture?
ACM SIGARCH Computer Architecture News
ALGOL-E: an experimental approach to the study of programming languages
ACM SIGCSE Bulletin
Instruction architecture of an aerospace multiprocessor
HLLCA '73 Proceedings of a symposium on High-level-language computer architecture
Two parallel EULER run time models: the dangling reference, impostor environment, and label problems
HLLCA '73 Proceedings of a symposium on High-level-language computer architecture
On the time required for retention
HLLCA '73 Proceedings of a symposium on High-level-language computer architecture
The switching reverse polise algorithm
ACM SIGPLAN Notices
A functional correspondence between call-by-need evaluators and lazy abstract machines
Information Processing Letters
Theory and Practice of Logic Programming
ALGOL Bulletin
A list of the remaining trouble spots in ALGOL60
ALGOL Bulletin
The contour model of block structured processes
ACM SIGPLAN Notices
ACM SIGPLAN Notices
The equivalence of sequential and associate information structure models
ACM SIGPLAN Notices
On the structure of dictionaries for compilers
ACM SIGPLAN Notices
The development of Chez Scheme
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
A concrete framework for environment machines
ACM Transactions on Computational Logic (TOCL)
A Computing Machine Based on Tree Structures
IEEE Transactions on Computers
On the Development of a Measurement System for High Level Language Program Statistics
IEEE Transactions on Computers
Programming Languages The First 25 Years
IEEE Transactions on Computers
Improving the lazy Krivine machine
Higher-Order and Symbolic Computation
On the correctness of the Krivine machine
Higher-Order and Symbolic Computation
A conversational system for incremental compilation and execution in a time-sharing environment
AFIPS '66 (Fall) Proceedings of the November 7-10, 1966, fall joint computer conference
Burroughs' B6500/B7500 stack mechanism
AFIPS '68 (Spring) Proceedings of the April 30--May 2, 1968, spring joint computer conference
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
Batch, conversational, and incremental compilers
AFIPS '69 (Spring) Proceedings of the May 14-16, 1969, spring joint computer conference
BCPL: a tool for compiler writing and system programming
AFIPS '69 (Spring) Proceedings of the May 14-16, 1969, spring joint computer conference
A minimalist approach to objects
Computer Languages, Systems and Structures
Use of postfix notation for the description of microcellular arrays
IEEE Transactions on Computers - Special issue on parallel processors and processing
AMaχoS: abstract machine for Xcerpt: architecture
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Dependable and Historic Computing
Dependable and Historic Computing
Closure generation based on viewing lambda as epsilon plus compile
Computer Languages
A lambda-calculus model of programming languages-II. Jumps and procedures
Computer Languages
An implementation of automatic array arithmetic by a generalized push-down stack
Symposium on Interactive Systems for Experimental Applied Mathematics: Proceedings of the Association for Computing Machinery Inc. Symposium
Hi-index | 0.16 |