European Joint Conferences on Theory and Practice of Software

ETAPS'99

Sunday, March 21st


08:30

Registration

09:00

Tutorials

CMCS

Programme details to be announced

Actions Semantics Workshop

Invited talk

Philipp Kutter, Alfonso Pierantonio (TIK, ETH Zürich, Switzerland): Generating an Action Notation Environment from Montages Descriptions

G. Castagna (ENS Paris),

Foundations of object-oriented programming

10:00

Tools

Stephan Diehl (Universität des Saarlandes, Saarbrücken, Germany): Bootstrapped Semantics-Directed Compiler Generation

10:30

Coffee

11:00

Tools, continued

Hermano Perrelli de Moura, Luis Carlos de Sousa Menezes (Federal University of Pernambuco, Recife, Brazil): The Abaco System - An Algebraic Based Action Compiler

11:30 Kyung-Goo Doh, Hyun-Goo Kang (Hanyang University, Korea): Online Partial Evaluation of Actions

12:00 Kent D. Lee (University of Iowa, USA): Tuple Sort Inference in Action Semantics

12:30

Lunch

14:00

Tutorials (continued)

CMCS (continued)

Actions Semantics Workshop (continued)

Recent action-semantic descriptions

David A. Watt (University of Glasgow, Scotland): The Static and Dynamic Semantics of SML

14:30 Deryck Brown (The Robert Gordon University, Aberdeen, Scotland), David A. Watt (University of Glasgow, Scotland): JAS: a Java Action Semantics

15:00

Coffee

15:30

Theoretical foundations

Peter D. Mosses (SRI International, Menlo Park, USA): A Modular SOS for Action Notation

16:00 Søren B. Lassen (University of Cambridge, England): To be announced

16:30 Concluding discussion: The Future of Action Semantics (with position statements by Peter D. Mosses and David A. Watt)

17:30

Close

19:00

Registration and welcome drinks




[Saturday, Sunday, Monday, Tuesday, Wednesday, Thursday, Friday, Saturday,Sunday]