Ten Mini-Languages: A Study of Topical Issues in Programming Languages
ACM Computing Surveys (CSUR)
Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
Communications of the ACM
Another recursion induction principle
Communications of the ACM
The composition of semantics in Algol 68
Communications of the ACM
The next 700 programming languages
Communications of the ACM
Revised report on the algorithm language ALGOL 60
Communications of the ACM
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
A mathematical approach to language design
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A semantic model for parallel systems with scheduling
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On the Relation between Direct and Continuation Semantics
Proceedings of the 2nd Colloquium on Automata, Languages and Programming
Towards a theory of type structure
Programming Symposium, Proceedings Colloque sur la Programmation
Definitional interpreters for higher-order programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
The complexity of loop programs
ACM '67 Proceedings of the 1967 22nd national conference
Implementation and applications of Scott's logic for computable functions
Proceedings of ACM conference on Proving assertions about programs
Models of LCF.
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The PSG system: from formal language definitions to interactive programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the translation of relational queries into iterative programs
ACM Transactions on Database Systems (TODS)
OOPSLA '87 Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum)
A Control-Flow Normalization Algorithm and its Complexity
IEEE Transactions on Software Engineering
Four Dimensions of programming-language independence
ACM SIGPLAN Notices
Defining context-dependent syntax without using contexts
ACM Transactions on Programming Languages and Systems (TOPLAS)
A framework for programming denotational semantics in C++
ACM SIGPLAN Notices
A new formalism for discrete event simulation
WSC '87 Proceedings of the 19th conference on Winter simulation
Concurrent Processes and Their Syntax
Journal of the ACM (JACM)
Constructing Call-by-Value Continuation Semantics
Journal of the ACM (JACM)
The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions
Journal of the ACM (JACM)
Symbolic pointer analysis for detecting memory leaks
PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
A Sampler of Formal Definitions
ACM Computing Surveys (CSUR)
Surveyor's Forum: An Amplification on Hydra's Capabilities
ACM Computing Surveys (CSUR)
Surveyor's Forum: A Criticism of Sampler
ACM Computing Surveys (CSUR)
Surveyor's Forum: A Criticism of Sampler
ACM Computing Surveys (CSUR)
Corrigendum: “A Sampler of Formal Definitions”
ACM Computing Surveys (CSUR)
A Hierarchical Approach to Formal Semantics With Application to the Definition of PL/ CS
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Deriving Target Code as a Representation of Continuation Semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Control Flow Aspects of Semantics-Directed Compiling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Logic and programming languages
Communications of the ACM
A straightforward denotational semantics for non-determinate data flow programs
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A case study in specifying the semantics of a programming language
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A case study in specifying the semantics of a programming language
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Program verification based on denotation semantics
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Foreword to ‘Fundamental Concepts in ProgrammingLanguages’
Higher-Order and Symbolic Computation
The Varieties of Programming Language Semantics
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
On proving the correctness of optimizing transformations in a digital design automation system
DAC '81 Proceedings of the 18th Design Automation Conference
A semantic comparison of LISP and SCHEME
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
The nested rectangular array as a model of data
APL '79 Proceedings of the international conference on APL: part 1
The assignment axiom and programming language design
ACM '76 Proceedings of the 1976 annual conference
Experience with an experimental compiler generator based on denotational semantics
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Control flow aspects of semantics directed compiling (Summary)
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
A multi-processing implementation-oriented formal definition of Ada in SEMANOL
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
Aspects of applicative programming for file systems (Preliminary Version)
Proceedings of an ACM conference on Language design for reliable software
A multi-processing implementation-oriented formal definition of Ada in SEMANOL
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
An informal approach to formal specifications
ACM SIGMOD Record
An informal approach to formal specifications
ACM SIGMOD Record
Operational specification as the basis for rapid prototyping
Proceedings of the workshop on Rapid prototyping
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
A formal software requirements specification method for digital nuclear plant protection systems
Journal of Systems and Software - Special issue: Automated component-based software engineering
Slicing as a program transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logic and programming languages
ACM Turing award lectures
Combination of transformation and schema languages described by a complete formal semantics
Proceedings of the 2007 ACM symposium on Document engineering
Frameworks Based on Templates for Rigorous Model-driven Development
Electronic Notes in Theoretical Computer Science (ENTCS)
An Abstract Model of Behavior for Hardware Descriptions
IEEE Transactions on Computers
Programming Languages The First 25 Years
IEEE Transactions on Computers
Specifying active databases as non-Markovian theories of actions
Journal of Intelligent Information Systems
Semantics of Multimodal Network Models
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Abstract Interpretation From a Denotational-semantics Perspective
Electronic Notes in Theoretical Computer Science (ENTCS)
Dealing Denotationally With Stream-based Communication
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Semantics of Programming Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
A diachronic study of POP album cover from 1980 to 1992 in Taiwan
WSEAS TRANSACTIONS on COMMUNICATIONS
A study of visual design and color attributes of POP album
SENSIG'09/VIS'09/MATERIALS'09 Proceedings of the 2nd WSEAS International Conference on Sensors, and Signals and Visualization, Imaging and Simulation and Materials Science
VDM semantics of programming languages: combinators and monads
Formal methods and hybrid real-time systems
Developing a denotation model from luminance of album cover from 1980 to 1992 in Taiwan
WSEAS TRANSACTIONS on COMMUNICATIONS
A study of the relationship between denotation and luminance of pop album
AMERICAN-MATH'10 Proceedings of the 2010 American conference on Applied mathematics
A formal template language enabling metaproof
FM'06 Proceedings of the 14th international conference on Formal Methods
Compiling lambda-expressions using continuations and factorizations
Computer Languages
Parallel developments in programming languages and operating systems
Computer Languages
Hi-index | 48.26 |
This paper is a tutorial introduction to the theory of programming language semantics developed by D. Scott and C. Strachey. The application of the theory to formal language specification is demonstrated and other applications are surveyed. The first language considered, LOOP, is very elementary and its definition merely introduces the notation and methodology of the approach. Then the semantic concepts of environments, stores, and continuations are introduced to model classes of programming language features and the underlying mathematical theory of computation due to Scott is motivated and outlined. Finally, the paper presents a formal definition of the language GEDANKEN.