book chapter · Lecture notes in computer science · 2009
Action Semantics in Retrospect
Cited by 2Abstract and details only
Abstract
The index has no abstract for this paper. The publisher’s page may have one.
Cite this paper
Watt, D. A. (2009). Action Semantics in Retrospect. Lecture notes in computer science, 4–20. https://doi.org/10.1007/978-3-642-04164-8_2
Watt, David A. “Action Semantics in Retrospect.” Lecture notes in computer science, 2009, pp. 4–20, https://doi.org/10.1007/978-3-642-04164-8_2.
Watt, David A. 2009. “Action Semantics in Retrospect.” Lecture notes in computer science: 4–20. https://doi.org/10.1007/978-3-642-04164-8_2.
Watt, D.A. (2009) ‘Action Semantics in Retrospect’, Lecture notes in computer science, pp. 4–20. Available at: https://doi.org/10.1007/978-3-642-04164-8_2.
@incollection{watt2009action,
title = {{Action Semantics in Retrospect}},
author = {Watt, David A.},
booktitle = {Lecture notes in computer science},
pages = {4--20},
year = {2009},
doi = {10.1007/978-3-642-04164-8_2}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.
Related papers
An operational semantics of lazy evaluation for analysis
Jill Seaman · 1993
Cited by 5
Equivalence of formal semantics definition methods
Matthew J.A. Caswell · Formal Aspects of Computing · 1997
Cited by 0Open access
ON FORMAL AND COGNITIVE SEMANTICS FOR SEMANTIC COMPUTING
Yingxu Wang · International Journal of Semantic Computing · 2010
Cited by 77
Semantics With Applications: A Formal Introduction
Hanne Riis Nielson, Flemming Nielson · 1992
Cited by 333
Theorem proving support in programming language semantics
Yves Bertot · arXiv (Cornell University) · 2007
Cited by 2Open access
Action Semantics
Peter D. Mosses · Cambridge University Press eBooks · 1992
Cited by 96
On collecting semantics for program analysis
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari · Theoretical Computer Science · 2020
Cited by 7Open access