Richard S. Bird, Lambert G. L. T. Meertens (Eds.):
Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France.
IFIP Conference Proceedings 95 Chapman & Hall 1997, ISBN 0-412-82050-1
- Sharon Curtis:
Dynamic programming: a different perspective.
1-23

- Bernhard Möller:
Calculating with pointer structures.
24-48

- Matteo Vaccari, Roland Carl Backhouse:
Deriving a systolic regular language recognizer.
49-72

- Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
A calculational fusion system HYLO.
76-106

- Eric Violard, Stéphane Genaud, Guy-René Perrin:
Refinement of data parallel programs in PEI.
107-131

- Mario Südholt, Christian Piepenbrock, Klaus Obermayer, Peter Pepper:
Solving large systems of differential equations in parallel using covers and skeletons.
132-159

- Yellamraju V. Srinivas:
Refinement of parameterized algebraic specifications.
164-186

- Juan Bicarregui, Kevin Lano, T. S. E. Maibaum:
Towards a compositional interpretation of object diagrams.
187-211

- Marc Frappier, Ali Mili, Jules Desharnais:
Defining and detecting feature interactions.
212-239

- José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum:
Synthesising interconnections.
240-264

- Klaus Achatz, Helmuth Partsch:
A powerful transformation rule, its applications and variants.
265-295

- Alberto Pettorossi, Maurizio Proietti:
Program derivation via list introduction.
296-323

- David S. Wile:
Towards a calculus for abstract syntax trees.
324-353

- Yanhong A. Liu:
Principled strength reduction.
357-381

- Deepak Goyal, Robert Paige:
The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset.
382-414

- Theodore S. Norvell:
Predicative semantics of loops.
415-437

Last update Sat May 25 17:24:01 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page