NWPT'00 Online proceedings

This is a collection of abstracts, papers and slides submitted by the participants at the 12th Nordic Workshop on Programming Theory, October 11-13, 2000, Bergen, Norway.

The full program

• Otto Skrove Bagge, Magne Haveraaen, Eelco Visser: A C++ Transformation Framework.
  Abstract, Slides.

• Gennady Chugunov, Lars-Åke Fredlund: Verification of a Simple Distributed Algorithm in Erlang.
  Abstract, Slides.
  http://www.sics.se/fdt/erlang

• Ole-Johan Dahl: On the Development of Simula 67.
  Abstract.

• Harald Fecher: A Real-Time Process Algebra with Open Intervals and Maximal Progress.
  Abstract, Paper, Slides.

• Jan Heering: Language Design Assistants as Knowledge-Based Systems.
  Abstract.

• Kazuhiko Kakehi, Robert Glueck, Yoshihiko Futamura: Recursion Removal using Assignments.
  Slides.

• Stuart Kent: UML: Opportunities and Challenges for Formal Methods.
  Abstract, Slides.

• Jose E. Labra G., Juan M. Cueva, M. Candida Luengo D.: Modular Development of Interpreters from Semantic Building Blocks.
  Slides.
  http://lsi.uniovi.es/~labra/LPS/LPS.html.

• Timo Latvala: Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints.
  Abstract.

• Girts Linde: Equivalence problem of UML composites.
  Abstract.

• Girts Linde, Janis Barzdins: Towards Cartoon Semantics of Object Modeling.
  Abstract.

• Anders Moen: The concept 'session' modelled from below.
  Abstract, Paper.

• Olaf Owe, Isabelle Ryl: Reasoning Control in Presence of Dynamic Classes.
  Abstract, Slides.

• Luigia Petre: Components vs. Objects.
  Abstract, Slides, Slides (powerpoint).

• Ragnhild Kobro Runde: Towards intuitive specifications with ready relations.
  Slides.

• Tarmo Uustalu: Strong Dinaturality and Initial Algebras.
  Abstract, Slides.

• Varmo Vene, Tarmo Uustalu, Alberto Pardo: Comonadic iteration.
  Abstract, Slides.

• Marina Waldén, Micaela Jansson: Case study: A microprocessor development in B.
  Abstract.