4th Annual Symposium on Theoretical Aspects of Computer Sciences on STACS 87
Handbook of theoretical computer science (vol. B)
Handbook of theoretical computer science (vol. B)
Programming language syntax and semantics
Programming language syntax and semantics
Action semantics
Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
The Vienna Definition Language
ACM Computing Surveys (CSUR)
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Higher-Order and Symbolic Computation
Modular Denotational Semantics for Compiler Construction
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Towards a Mathematical Operational Semantics
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
A modular monadic action semantics
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Hi-index | 0.00 |
It may seem that there are almost as many varieties of programming language semantics as there are of programming languages. This brief summary surveys the main varieties of semantics, and considers which of them may be the most appropriate.