default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlgorithmic Languages and Calculi 1997: Bisschoffsheim, Alsace, France
- Richard S. Bird, Lambert G. L. T. Meertens:
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. Algorithmic Languages and Calculi 1997: 1-23 - Bernhard Möller:
Calculating with pointer structures. Algorithmic Languages and Calculi 1997: 24-48 - Matteo Vaccari, Roland Carl Backhouse:
Deriving a systolic regular language recognizer. Algorithmic Languages and Calculi 1997: 49-72 - Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
A calculational fusion system HYLO. Algorithmic Languages and Calculi 1997: 76-106 - Eric Violard, Stéphane Genaud, Guy-René Perrin:
Refinement of data parallel programs in PEI. Algorithmic Languages and Calculi 1997: 107-131 - 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: 132-159 - Yellamraju V. Srinivas:
Refinement of parameterized algebraic specifications. Algorithmic Languages and Calculi 1997: 164-186 - Juan Bicarregui, Kevin Lano, T. S. E. Maibaum:
Towards a compositional interpretation of object diagrams. Algorithmic Languages and Calculi 1997: 187-211 - Marc Frappier, Ali Mili, Jules Desharnais:
Defining and detecting feature interactions. Algorithmic Languages and Calculi 1997: 212-239 - José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum:
Synthesising interconnections. Algorithmic Languages and Calculi 1997: 240-264 - Klaus Achatz, Helmuth Partsch:
A powerful transformation rule, its applications and variants. Algorithmic Languages and Calculi 1997: 265-295 - Alberto Pettorossi, Maurizio Proietti:
Program derivation via list introduction. Algorithmic Languages and Calculi 1997: 296-323 - David S. Wile:
Towards a calculus for abstract syntax trees. Algorithmic Languages and Calculi 1997: 324-353 - Yanhong A. Liu:
Principled strength reduction. Algorithmic Languages and Calculi 1997: 357-381 - 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: 382-414 - Theodore S. Norvell:
Predicative semantics of loops. Algorithmic Languages and Calculi 1997: 415-437
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-13 20:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
