Proceedings of the Third International Workshop on Action Semantics, AS 2000, (Recife, Brazil, May 15-16, 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

Abstract: