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
