AS program

Sunday July 21st, 2002


All sessions take place in auditorium 10.

AS's program is also available with abstracts or side by side with other meetings.

08:45-09:00  Session 1: Opening and Introduction

09:00-10:30  Session 2: Tools and Applications

09:00  Mark van den Brand and Jurgen Vinju, CWI Amsterdam, The Netherlands
How ASF+SDF technology can be used to develop an action semantics environment
09:30  Luis Carlos Meneses, Hermano Moura, Wanderley Cansancao, Monique Monteiro, and Pablo Sampaio; Federal U of Pernambuco, Brazil
The Abaco system: An action tool for programming language designers
10:00  Adnan Sherif, Ana Cavalcanti, and Hermano Moura; Federal U of Pernambuco, Brazil
Using Abaco to animate a real-time specification language

10:30-11:00  Refreshments

11:00-12:30  Session 3: Foundations

11:00  Cláudio R. V. Carvilhe and Martín A. Musicante, Federal U of Paraná, Brazil
An object-oriented view of action semantics descriptions
11:30  Luis Carlos Meneses and Hermano Moura, Federal U of Pernambuco, Brazil
An extensible definition for action notation
12:00  Peter D. Mosses, U Aarhus, Denmark
A modular SOS for action notation, revisited

12:30-14:00  Lunch

14:00-15:30  Session 4: Related Frameworks

14:00  Egon Börger, U Pisa, Italy
Invited talk: Computation and specification models: A comparative study
15:00  Alexey Kalinov, Alexander S. Kossatchev, Mikhail Posypkin, and V. Shishkov; ISP/RAS Moscow, Russia
Using ASM specification for automatic test suite generation for mpC parallel programming language compiler

15:30-16:00  Refreshments

16:00-17:00  Session 5: Foundations

16:00  Ki-Hwan Choi, Hanyang U, South Korea; Kyung-Goo Doh, Hanyang U, South Korea; and Seung Cheol Shin, Dongyang U, South Korea
The analysis of secure information-flow in actions by abstract interpretation
16:30  Jørgen Iversen, U Aarhus, Denmark
Type inference for the new action notation

17:00-17:30  Session 6: Tools

17:00  Tijs van der Storm, U Amsterdam, The Netherlands
AN-2 tools

17:30-18:00  Session 7: The Future of Action Semantics and Related Frameworks

17:30  Discussion