Revised report on the algorithmic language scheme
ACM SIGPLAN Notices
4th Annual Symposium on Theoretical Aspects of Computer Sciences on STACS 87
The syntax definition formalism SDF—reference manual—
ACM SIGPLAN Notices
The semantics of programming languages: an elementary introduction using structural operational semantics
Handbook of theoretical computer science (vol. B)
Notions of computation and monads
Information and Computation
Programming language syntax and semantics
Programming language syntax and semantics
Semantics with applications: a formal introduction
Semantics with applications: a formal introduction
Action semantics
The formal semantics of programming languages: an introduction
The formal semantics of programming languages: an introduction
Evolving algebras 1993: Lipari guide
Specification and validation methods
Concurrent programming in ML
The denotational semantics of programming languages
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Communication and Concurrency
Denotational Semantics: A Methodology for Language Development by Phil
Denotational Semantics: A Methodology for Language Development by Phil
Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach
Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach
The Definition of Standard ML
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
An Action Compiler Targeting Standard ML
Electronic Notes in Theoretical Computer Science (ENTCS)
A documental approach to adventure game development
Science of Computer Programming
A language-driven approach for the design of interactive applications
Interacting with Computers
Language engineering techniques for the development of e-learning applications
Journal of Network and Computer Applications
System Model-Based Definition of Modeling Language Semantics
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Mobile processes and termination
Semantics and algebraic specification
Language-driven development of web-based learning applications
ICWL'07 Proceedings of the 6th international conference on Advances in web based learning
On the Behaviours Produced by Instruction Sequences under Execution
Fundamenta Informaticae
| Hi-index | 0.00 |
These notes give an overview of the main frameworks that have been developed for specifying the formal semantics of programming languages. Some of the pragmatic aspects of semantic descriptions are discussed, including modularity, and potential applicability to visual and modelling languages. References to the literature provide starting points for further study.