|
Proceedings of the Second International Workshop on Action Semantics,
AS '99, (Amsterdam, The Netherlands, March 21, 1999)
Peter D. Mosses May 1999 |
Abstract: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. Recently, the close relationship between action semantics and monadic approaches to denotational semantics has been established. AS'99, the 2nd International Workshop on Action Semantics, was held as a one-day satellite event of ETAPS'99 in Amsterdam. As can be seen from the workshop programme and from the contributed papers collected in these proceedings, much interesting work was presented and discussed during the workshop, focussing on tool support for Action Semantics, recent action-semantic descriptions, theoretical foundations, and prospects for the future of Action Semantics Available as PostScript, PDF. |