A General Translation Program for Phrase Structure Languages
Journal of the ACM (JACM)
Properties of Programs and the First-Order Predicate Calculus
Journal of the ACM (JACM)
A List Structure Form of Grammars for Syntactic Analysis
ACM Computing Surveys (CSUR)
Recovery of reentrant list structures in SLIP
Communications of the ACM
Structure of a LISP system using two-level storage
Communications of the ACM
A formal semantics for computer languages and its application in a compiler-compiler
Communications of the ACM
EULER: a generalization of ALGOL, and its formal definition: Part II
Communications of the ACM
SIMULA: an ALGOL-based simulation language
Communications of the ACM
A syntax directed compiler for ALGOL 60
Communications of the ACM
Revised report on the algorithm language ALGOL 60
Communications of the ACM
The Structure of SNOBOL4
Some thoughts on graduate education in computer science
ACM SIGCSE Bulletin
Correctness results for lambda calculus interpreters
Correctness results for lambda calculus interpreters
The SNOBOL 4 programming language
The SNOBOL 4 programming language
LISP 1.5 Programmer's Manual
Programming Languages, Information Structures, and Machine Organization.
Programming Languages, Information Structures, and Machine Organization.
Report on the algorithmic language ALGOL 68
Report on the algorithmic language ALGOL 68
A facility for defining and manipulating generalized data structures
ACM Transactions on Database Systems (TODS)
The Vienna Definition Language
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
MPACT: microprocessor application to control-firmware translator
ACM SIGDA Newsletter
Increasing hardware complexity—a challenge to computer architecture education
ISCA '73 Proceedings of the 1st annual symposium on Computer architecture
Generic functions by nonstandard name scoping in APL
APL '81 Proceedings of the international conference on APL
Control Separation in programming languages
ACM '77 Proceedings of the 1977 annual conference
Comparing inter-tool communication in control-centred tool integration frameworks
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
QUEST: the design of a very high level, pedagogic programming language
ACM SIGPLAN Notices
Implementation prototypes in the development of programming language features
Proceedings of the workshop on Rapid prototyping
A Model for Control Structures for Artificial Intelligence Programming Languages
IEEE Transactions on Computers
Processing by Data and Program Blocks
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
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
Communications of the ACM
Massively parallel breadth first search using a tree-structured memory model
Proceedings of the 2012 International Workshop on Programming Models and Applications for Multicores and Manycores
Recent developments in the theory of data structures
Computer Languages
The formal definition of semantics by string automata
Computer Languages
Bibliography on data base structures
ACM SIGMIS Database
Hi-index | 0.03 |
This paper introduces a class of models (information structure models) for characterizing computations in terms of the data structures to which they give rise during execution, shows how such models can be used to characterize automata, digital computers and programming languages, considers in some detail the data structures generated during the execution of programs in block structure languages, develops a model for a non-block structure language (SNOBOL 4) and indicates how information structure models may be used in the semantic definition and formal characterization of programming languages. Sections 1 and 2 discuss the reasons for studying the relation between data structures and programming languages, section 3 introduces the notion of an information structure model and considers the classification of interpreters, and section 4 shows how automata, computers and programming languages may be characterized as sequential information structure models. Section 5 underlines the importance of introducing cells and references as semantic primitives of computational models. Section 6 develops models of implementation of block structure languages, section 7 considers the limitations of stack structure, and section 8 considers the hardware realization of block structure implementation of the Burroughs B6500. Section 9 develops an information structure model for the non-block structure language SNOBOL 4, while section 10 briefly discusses information structure models of language definition and the use of information structure models in proofs that programs have certain property. A final subsection considers the relative merits of axiomatic definition versus implementation-dependent definition of programming languages.