GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
Communications of the ACM
EULER: a generalization of ALGOL and it formal definition: Part 1
Communications of the ACM
Revised report on the algorithm language ALGOL 60
Communications of the ACM
On certain basic concepts of programming languages
On certain basic concepts of programming languages
MUTANT 0.5: an experimental programming language
MUTANT 0.5: an experimental programming language
Algol-60 Implementation
Programming Languages, Information Structures, and Machine Organization.
Programming Languages, Information Structures, and Machine Organization.
Informal introduction to ALGOL 68
Informal introduction to ALGOL 68
Introduction to ALGOL (Prentice-Hall series in automatic computation)
Introduction to ALGOL (Prentice-Hall series in automatic computation)
Report on the algorithmic language ALGOL 68
Report on the algorithmic language ALGOL 68
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)
An execution architecture for FP
IBM Journal of Research and Development
Memory allocation and higher-order functions
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
The contour model as an instructional tool in elementary computer science courses
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Reducing execution parameter through correspondence in computer architecture
IBM Journal of Research and Development
Parsing Languages by Pattern Matching
IEEE Transactions on Software Engineering
Comparing Two Functional Programming Systems
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Teaching multiple programming paradigms: a proposal for a paradigm general pseudocode
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
An ad hoc approach to the implementation of polymorphism
ACM Transactions on Programming Languages and Systems (TOPLAS)
CONS should not CONS its arguments, or, a lazy alloc is a smart alloc
ACM SIGPLAN Notices
Using the Synthesizer-Generator to teach principles of programming language semantics
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
A visual execution model for Ada tasking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formalization and application of a unifying model for name management
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Task dependence and termination in Ada
ACM Transactions on Software Engineering and Methodology (TOSEM)
Toward a resourceful method of software fault tolerance
ACM-SE 37 Proceedings of the 37th annual Southeast regional conference (CD-ROM)
Third Generation Computer Systems
ACM Computing Surveys (CSUR)
The Vienna Definition Language
ACM Computing Surveys (CSUR)
A model for and discussion of multi-interpreter systems
Communications of the ACM
Segment sizes and liftetimes in Algol 60 programs
Communications of the ACM
An approach to incremental compilation
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Systematically derived instruction sets for high-level language support
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Procedure linkage optimization working paper
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Designing a resourceful fault-tolerance system
Journal of Systems and Software
Pecan: Program development systems that support multiple views
ICSE '84 Proceedings of the 7th international conference on Software engineering
The use of a Module Interconnection Language in the SARA system design methodology
ICSE '79 Proceedings of the 4th international conference on Software engineering
ALGOL68 instruction at Oklahoma State University
SIGCSE '77 Proceedings of the eighth SIGCSE technical symposium on Computer science education
A course in computer structures
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
Design data for Algol-60 machines
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
Languages for direct execution
MICRO 7 Conference record of the 7th annual workshop on Microprogramming
HLLCA '73 Proceedings of the ACM-IEEE symposium on High-level-language computer architecture
Implementation of a tagged architecture for block structured languages
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
A hierarchical machine model for the semantics of programming languages
HLLCA '73 Proceedings of the ACM-IEEE symposium on High-level-language computer architecture
Levels of representation of programs and the architecture of universal host machines
MICRO 11 Proceedings of the 11th annual workshop on Microprogramming
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
Error checking with pointer variables
ACM '76 Proceedings of the 1976 annual conference
Programming with(out) the GOTO
ACM '72 Proceedings of the ACM annual conference - Volume 2
Micro emulation: When to do it and when not to do it
MICRO 6 Conference record of the 6th annual workshop on Microprogramming
Computational processor demands of Algol-60 programs
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
The Contour Model Lambda Calculus Machine
Proceedings of ACM conference on Proving assertions about programs
Operational semantics of programming languages
Proceedings of ACM conference on Proving assertions about programs
A data type encapsulation scheme utilizing base language operators
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Design of instruction set architectures for support of high-level languages
ISCA '84 Proceedings of the 11th annual international symposium on Computer architecture
GLOSS: A semantic model of programming languages
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Measurements of the virtual memory demands of Algol-60 programs (Extended Abstract)
SIGMETRICS '74 Proceedings of the 1974 ACM SIGMETRICS conference on Measurement and evaluation
Modeling the binding policies of programming languages
ACM '79 Proceedings of the 1979 annual conference
HLLCA '73 Proceedings of a symposium on High-level-language computer architecture
Implementation of a tagged architecture for block structured languages
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
A hierarchical machine model for the semantics of programming languages
HLLCA '73 Proceedings of a symposium on High-level-language computer architecture
Flowchart techniques for structured programming
ACM SIGPLAN Notices
Programming with(out) the GOTO
ACM SIGPLAN Notices - Special issue on control structures in programming languages
Methodology and architecture of JIVE
SoftVis '05 Proceedings of the 2005 ACM symposium on Software visualization
A relational database model of program execution and software components
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
Execution Architecture: The DELtran Experiment
IEEE Transactions on Computers
A Model for Control Structures for Artificial Intelligence Programming Languages
IEEE Transactions on Computers
Programming Languages The First 25 Years
IEEE Transactions on Computers
Visible semantics for programming languages
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
The Semantics of Ugo Montanari
Concurrency, Graphs and Models
Effective Visualization of File System Access-Control
VizSec '08 Proceedings of the 5th international workshop on Visualization for Computer Security
Implementation and application of a function data type
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
A model for control structures for artificial intelligence programming languages
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Scheme for invalidating references to freed storage
IBM Journal of Research and Development
Proceedings of the 41st ACM technical symposium on Computer science education
Control-flow analysis of functional programs
ACM Computing Surveys (CSUR)
Compiling lambda-expressions using continuations and factorizations
Computer Languages
The formal definition of semantics by string automata
Computer Languages
Bibliography on data base structures
ACM SIGMIS Database
| Hi-index | 0.04 |
There appears to be a need for an intuitive implementable cell-based model of the semantics of algorithm execution. It is contended that for block structured processes, such a model must be based on the concepts of nested blocks, access environments, labels, and cell retention. A model so based, the contour model, is introduced by illustrating the execution of an ALGOL 60 program in terms of the model. The model is informally specified and some of its major features are pointed out. A companion paper by D. M. Berry shows that semantically powerful languages can be directly implemented in terms of the model.