Algorithmic Languages and Calculi 1997: Bisschoffsheim, Alsace, France

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 BibTeX

@proceedings{DBLP:conf/alc/1997,
  editor    = {Richard S. Bird and
               Lambert G. L. T. Meertens},
  title     = {Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International
               Workshop on Algorithmic Languages and Calculi, 17-22 February
               1997, Alsace, France},
  booktitle = {Algorithmic Languages and Calculi},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {95},
  year      = {1997},
  isbn      = {0-412-82050-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Sharon Curtis: Dynamic programming: a different perspective. 1-23 BibTeX
Bernhard Möller: Calculating with pointer structures. 24-48 BibTeX
Matteo Vaccari, Roland Carl Backhouse: Deriving a systolic regular language recognizer. 49-72 BibTeX
Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: A calculational fusion system HYLO. 76-106 BibTeX
Eric Violard, Stéphane Genaud, Guy-René Perrin: Refinement of data parallel programs in PEI. 107-131 BibTeX
Mario Südholt, Christian Piepenbrock, Klaus Obermayer, Peter Pepper: Solving large systems of differential equations in parallel using covers and skeletons. 132-159 BibTeX
Yellamraju V. Srinivas: Refinement of parameterized algebraic specifications. 164-186 BibTeX
Juan Bicarregui, Kevin Lano, T. S. E. Maibaum: Towards a compositional interpretation of object diagrams. 187-211 BibTeX
Marc Frappier, Ali Mili, Jules Desharnais: Defining and detecting feature interactions. 212-239 BibTeX
José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum: Synthesising interconnections. 240-264 BibTeX
Klaus Achatz, Helmuth Partsch: A powerful transformation rule, its applications and variants. 265-295 BibTeX
Alberto Pettorossi, Maurizio Proietti: Program derivation via list introduction. 296-323 BibTeX
David S. Wile: Towards a calculus for abstract syntax trees. 324-353 BibTeX
Yanhong A. Liu: Principled strength reduction. 357-381 BibTeX
Deepak Goyal, Robert Paige: The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset. 382-414 BibTeX
Theodore S. Norvell: Predicative semantics of loops. 415-437 BibTeX