BRICS Notes Series, Abstracts, 2002

July 7, 2003

This document is also available as PostScript and DVI.


PostScript, PDF.
Peter D. Mosses, editor.
Proceedings of the Fourth International Workshop on Action Semantics, AS 2002, (Copenhagen, Denmark, July 21, 2002), December 2002.
vi+133 pp.
Abstract: Action Semantics is a practical framework for formal semantic description of programming languages. Since its appearance ten years ago, 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 2002 workshop Proceedings includes contributed papers on recent development and applications of tool support for Action Semantics, on ways of increasing the modularity of action semantic descriptions and the definition of Action Notation, on analysis of information flow and types of actions, and on test suite generation based on Abstract State Machines. It also includes an invited paper by Egon Börger with a comparative study of computation and specification models.

PostScript, PDF.
Anders Møller.
Document Structure Description 2.0.
December 2002.
29 pp.
Abstract: This document contains the specification of the Document Structure Description 2.0 (DSD2) schema language for XML.

PostScript, PDF, DVI.
Aske Simon Christensen and Anders Møller.
JWIG User Manual.
October 2002.
35 pp.
Abstract: This manual describes version 1.0 of the JWIG Web service development system.

Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Maurice Herlihy, Martin Raußen, and Vladimiro Sassone, editors.
Preliminary Proceedings of the Workshop on Geometry and Topology in Concurrency Theory, GETCO '02, (Toulouse, France, October 30-31, 2002), October 2002.
Abstract: This volume contains the preliminary proceedings of GETCO '02 held in Toulouse, France, on October 30-31, 2002, as a satellite workshop of Disc 2002.

PostScript, PDF.
Daniel Gudbjartsson, Anna Ingólfsdóttir, and Augustin Kong.
An BDD-Based Implementation of the Allegro Software.
August 2002.
2 pp.
Abstract: We have applied Multi Teminal Binary Decision Diagrams (MTBDD's) to parts of the algorithms sitting inside the Allegro software. The results have been really promising and we have been able to handle considerably larger pedigrees than with other methods.

Walter Vogler and Kim G. Larsen, editors.
Preliminary Proceedings of the 3rd International Workshop on Models for Time-Critical Systems, MTCS '02, (Brno, Czech Republic, August 24, 2002), August 2002.
vi+141 pp.
Abstract: This volume contains the preliminary proceedings of MTCS '02 held at the University of Aalborg on August 24, 2002, as a satellite workshop of CONCUR '02.

Zoltán Ésik and Anna Ingólfsdóttir, editors.
Preliminary Proceedings of the Workshop on Fixed Points in Computer Science, FICS '02, (Copenhagen, Denmark, July 20 and 21, 2002), June 2002.
iv+81 pp.
Abstract: This volume contains the preliminary proceedings of FICS '01 held in Copenhagen on July 20 and 21, 2002, as a satellite workshop of LICS '02 under FLoC '02.

Anders Møller and Michael I. Schwartzbach.
Interactive Web Services with Java: JSP, Servlets, and JWIG.
April 2002.
99 pp.
Abstract: This slide collection provides an introduction to Java-based technologies for developing interactive Web services. Part 1 describes the basic architecture of the WWW and the relation to Java. Part 2 and 3 describe Sun's Servlet and JSP languages. Part 4 gives an overview of the JWIG high-level language developed at BRICS, and Part 5 describes the PowerForms exten.

Last modified: 2003-06-07 by webmaster.