Proceedings of the Third International Workshop on Action Semantics, AS 2000, (Recife, Brazil, May 15-16, 2000)

Peter D. Mosses
Hermano Perrelli de Moura (editors)

August 2000


Action Semantics is a practical framework for formal semantic description of programming languages. Since its appearance in 1992, Action Semantics has been used to describe major languages such as Pascal, SML, ANDF, and Java, and various tools for processing action-semantic descriptions have been developed. The AS 2000 workshop included reports of recent achievements with the foundations and applications of Action Semantics, presentations and demonstrations of tool support for action-semantic descriptions, and discussion of a proposal for a new (and significantly simpler) version of Action Notation

Available as PostScript, PDF.


Last modified: 2003-06-04 by webmaster.