Understanding programming language concepts via operational semantics (original) (raw)
Related papers
Formal Semantics of Programming Languages - An Overview
Electronic Notes in Theoretical Computer Science, 2006
A Modified Denotational Approach for a Semantics of a Programming Languages
The formal semantics of programming languages: an introduction
Choice Reviews Online
Semantics of Programming Languages
2016
Black tie optional: Modelling programming language concepts
2004
Human Comprehensible and Machine Processable Specifications of Operational Semantics
Semantics of programming languages: A tool-oriented approach
2000
A case study in specifying the semantics of a programming language
Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '80, 1980
A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages
Electronic Proceedings in Theoretical Computer Science
Challenges for Formal Semantic Description: Responses from the Main Approaches
Engineering Trustworthy Software Systems, 2018
Mathematical concepts in programming language semantics
Proceedings of the November 16-18, 1971, fall joint computer conference on - AFIPS '71 (Fall), 1971
Parametric Denotational Semantics for Extensible Language Definition and Program Analysis
2018
Operational Semantics: Concepts and Their Expression
… SERIES-UNIVERSITY OF NEWCASTLE UPON TYNE …, 2003
System Informatics, 2017
A DENOTATIONAL ENGINEERING OF PROGRAMMING LANGUAGES
Preprint, 2018
Structuring Operational Semantics: Simplification and Computation
Electronic Notes in Theoretical Computer Science, 2007
Details : The history of programming language semantics : an overview
2020
A formal semantics for computer languages and its application in a compiler-compiler
Communications of the ACM, 1966
Method of the Development of Ontological Operational Semantics for Imperative Programming Languages
2016
Formal semantics and the logical structure of programming languages
An algebraic approach to semantics of programming languages
Theoretical Computer Science, 1994
Modeling Semantics sans Mathematical Formalism
Proceedings of the 7th International Workshop on Software Knowledge, 2016
A structural approach to operational semantics
The Journal of Logic and Algebraic Programming, 2004
Implementation of Programming Languages Syntax and Semantics
Encyclopedia of Information Science and Technology, Second Edition, 2009
Mathematical Foundations of Programming Semantics
Lecture Notes in Computer Science, 1994
A constructive approach to language definition
Journal of Universal Computer Science, 2005
Challenges for semantic description: Comparing responses from the main approaches
2017
Reusable semantic specifications of programming languages
An Approach to Formal Human-Oriented Specifications of Programming Languages
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language
Model Driven Engineering Languages and Systems
An Approach to Algebraic Semantics of Object-Oriented Languages
2003
Towards a mathematical operational semantics
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science
A denotational semantics of a concatenative/compositional programming language
Acta Polytechnica Hungarica, 2021