Logical Specification of Operational Semantics (1999)
by
Peter D. Mosses
| Venue: | IN CSL'99, PROC. CONF. ON COMPUTER SCIENCE LOGIC, VOLUME 1683 OF LNCS |
| Citations: | 4 - 3 self |
BibTeX
@INPROCEEDINGS{Mosses99logicalspecification,
author = {Peter D. Mosses},
title = {Logical Specification of Operational Semantics},
booktitle = {IN CSL'99, PROC. CONF. ON COMPUTER SCIENCE LOGIC, VOLUME 1683 OF LNCS},
year = {1999},
pages = {32--49},
publisher = {SpringerVerlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Various logic-based frameworks have been proposed for specifying the operational semantics of programming languages and concurrent systems, including inference systems in the styles advocated by Plotkin and by Kahn, Horn logic, equational specifications, reduction systems for evaluation contexts, rewriting logic, and tile logic. We consider
