Login / Signup
Algorithmic Languages and Calculi
1997
1997
1997
Keyphrases
Publications
1997
Klaus Achatz
,
Helmuth Partsch
A powerful transformation rule, its applications and variants.
Algorithmic Languages and Calculi
(1997)
José Luiz Fiadeiro
,
Antónia Lopes
,
T. S. E. Maibaum
Synthesising interconnections.
Algorithmic Languages and Calculi
(1997)
Eric Violard
,
Stéphane Genaud
,
Guy-René Perrin
Refinement of data parallel programs in PEI.
Algorithmic Languages and Calculi
(1997)
Matteo Vaccari
,
Roland Carl Backhouse
Deriving a systolic regular language recognizer.
Algorithmic Languages and Calculi
(1997)
Alberto Pettorossi
,
Maurizio Proietti
Program derivation via list introduction.
Algorithmic Languages and Calculi
(1997)
Yanhong A. Liu
Principled strength reduction.
Algorithmic Languages and Calculi
(1997)
Theodore S. Norvell
Predicative semantics of loops.
Algorithmic Languages and Calculi
(1997)
Yoshiyuki Onoue
,
Zhenjiang Hu
,
Hideya Iwasaki
,
Masato Takeichi
A calculational fusion system HYLO.
Algorithmic Languages and Calculi
(1997)
Marc Frappier
,
Ali Mili
,
Jules Desharnais
Defining and detecting feature interactions.
Algorithmic Languages and Calculi
(1997)
Yellamraju V. Srinivas
Refinement of parameterized algebraic specifications.
Algorithmic Languages and Calculi
(1997)
Sharon Curtis
Dynamic programming: a different perspective.
Algorithmic Languages and Calculi
(1997)
David S. Wile
Towards a calculus for abstract syntax trees.
Algorithmic Languages and Calculi
(1997)
Deepak Goyal
,
Robert Paige
The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset.
Algorithmic Languages and Calculi
(1997)
Mario Südholt
,
Christian Piepenbrock
,
Klaus Obermayer
,
Peter Pepper
Solving large systems of differential equations in parallel using covers and skeletons.
Algorithmic Languages and Calculi
(1997)
Juan Bicarregui
,
Kevin Lano
,
T. S. E. Maibaum
Towards a compositional interpretation of object diagrams.
Algorithmic Languages and Calculi
(1997)
Bernhard Möller
Calculating with pointer structures.
Algorithmic Languages and Calculi
(1997)
volume 95, 1997
Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France
Algorithmic Languages and Calculi
95 (1997)