 |
|
| Action Semantics |
A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z
 Contents
|
|
|---|
Identification
Action Semantics
Homepage
http://www.brics.dk/Projects/AS/
Institution
University of Aarhus - DK Observations
A framework for specifying formal semantics of programming languages.The action semantics framework was initially developed at the University of Aarhus by the present author, in collaboration with David Watt (University of Glasgow). Groups and individuals scattered around five continents have since contributed to its theory and practice.
Publications
/Mosses, 1996a/ Theory and practice of action semantics
Classifications
Development Phases: Specification GDPA Online
Last Updated 01.Jan.2002
Updated by Webmaster
Last Revised 01.Jan.2002
Revised by Webmaster
|