Atlas home || Conferences | Abstracts | about Atlas
Sponsor: BRICS (Centre for Basic Research in Computer Science, Denmark) and Computing Science Department, Univ. of Glasgow, Scotland
Homepage: http://www.brics.dk/Projects/AS/Workshop-99/
Organizers: Peter D. Mosses, David A. Watt
Deadline for abstracts: February 05, 1999
Description:
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.
The workshop is to survey recent achievements, demonstrate tools, and coordinate future work. It is intended primarily for those working with action semantics and related approaches, but participation is open to all; familiarity with the basic ideas of action semantics is assumed.
Speakers: Philipp Kutter, Alfonso Pierantonio
Date received: February 07, 1999
© 2008 Atlas Conferences Inc.