Abstract is missing.
- Dynamic programming: a different perspectiveSharon Curtis. 1-23
- Calculating with pointer structuresBernhard Möller. 24-48
- Deriving a systolic regular language recognizerMatteo Vaccari, Roland Carl Backhouse. 49-72
- A calculational fusion system HYLOYoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi. 76-106
- Refinement of data parallel programs in PEIEric Violard, Stéphane Genaud, Guy-René Perrin. 107-131
- Solving large systems of differential equations in parallel using covers and skeletonsMario Südholt, Christian Piepenbrock, Klaus Obermayer, Peter Pepper. 132-159
- Refinement of parameterized algebraic specificationsYellamraju V. Srinivas. 164-186
- Towards a compositional interpretation of object diagramsJuan Bicarregui, Kevin Lano, T. S. E. Maibaum. 187-211
- Defining and detecting feature interactionsMarc Frappier, Ali Mili, Jules Desharnais. 212-239
- Synthesising interconnectionsJosé Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum. 240-264
- A powerful transformation rule, its applications and variantsKlaus Achatz, Helmuth Partsch. 265-295
- Program derivation via list introductionAlberto Pettorossi, Maurizio Proietti. 296-323
- Towards a calculus for abstract syntax treesDavid S. Wile. 324-353
- Principled strength reductionYanhong A. Liu. 357-381
- The formal reconstruction and speedup of the linear time fragment of Willard s relational calculus subsetDeepak Goyal, Robert Paige. 382-414
- Predicative semantics of loopsTheodore S. Norvell. 415-437