|
26
|
A Provably Correct Compiler Generator
– Jens Palsberg
- 1992
|
|
|
Ein objektorientiertes Datenmodell zur Beschreibung chemischer Prozesse
– Markus Baumeister
|
|
23
|
Understanding Function Behaviors through Program Slicing
– Andrea De Lucia, Anna Rita Fasolino, Malcolm Munro
- 1996
|
|
1
|
Cps-Translation and the Correctness of Optimising Compilers
– Geoffrey Burn, Daniel Le Métayer
- 1992
|
|
4
|
Proving the Correctness of Compiler Optimisations Based on Strictness Analysis
– Geoffrey Burn, Daniel Le Métayer
- 1993
|
|
11
|
An Automatically Generated and Provably Correct Compiler for a Subset of Ada
– Jens Palsberg
- 1992
|
|
15
|
Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis
– Geoffrey Burn, Daniel Le M'etayer
- 1992
|
|
22
|
A Verified Code Generator For A Subset Of Gypsy
– William D. Young, William D. Young, William D. Young
- 1988
|
|
11
|
More Advice on Proving a Compiler Correct: Improve a Correct Compiler
– E. Meijer, E. Meijer
- 1994
|
|
|
Gunnar Schröter
– Der Technischen Universität Berlin, Doktor Der Ingenieurwissenschaften, Berichter Prof, Dr. H. Ehrig
- 2004
|
|
|
Semantics of a Functional-Logic Language
– To Ulo
|
|
|
Modular Specifications: Constructions With Finite Colimits, Diagrams, Isomorphisms
– Catherine Oriat
- 1996
|
|
|
Evaluation of Expressions in a Multiparadigm Framework
– Xavier Burgués, Xavier Franch
- 1995
|
|
|
Consistency and Semantics of Equational Definitions over . . .
– V. Antimirov
- 1993
|
|
|
Realizing Sets by Hash Tables: How to do it in
– Korso Peter, Ralph Betschko, Sabine Dick, Klaus Didrich
- 1995
|
|
|
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition -
– Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner
- 1997
|
|
|
TECHNICAL ANNEX LOGCOMP-- Logic and Computation
– Centro Algoritmi Th
|
|
|
Using the ASF+SDF Meta-environment for teaching computer science
– T.B. Dinesh, Susan M. Üsküdarli (eds.), Susan M
- 1994
|
|
|
Realizing Sets by Hash Tables
– Peter Pepper, Ralph Betschko, Sabine Dick, Klaus Didrich
- 1995
|
