Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - (1997)

Cached

Download Links

by 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

Active Bibliography

147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
Desiderata for Interactive Verification Systems – Konrad Slind, Christian Prehofer - 1994
24 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
24 Hidden Coinduction: Behavioral Correctness Proofs for Objects – Joseph A. Goguen, Grant Malcolm - 1999
29 Proving Correctness Of Refinement And Implementation – Grant Malcolm, Joseph A. Goguen - 1996
5 Representations, Hierarchies, and Graphs of Institutions – Till Mossakowski, Gutachter Prof, Dr. Hans-jorg Kreowski, Prof Dr, Andrzej Tarlecki, Amilcar Sernadas, Horst Reichel, Pepe Meseguer, Bernd Krieg-bruckner, Maura Cerioli, Valentin Antimirov - 1996
65 Inductive Families – Peter Dybjer - 1997
51 Toward formal development of ML programs: foundations and methodology – Donald Sannella, Andrzej Tarlecki - 1989
47 Reasoning Theories - Towards an Architecture for Open Mechanized Reasoning Systems – Fausto Giunchiglia, Paolo Pecchiari, Carolyn Talcott - 1994
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
143 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
On Understanding Data . . . – William R. Cook - 2009
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
9 On the Search for Tractable Ways of Reasoning about Programs – C. B. Jones - 2001
15 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
6 On Extensibility of Proof Checkers – Robert Pollack - 1995
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
59 Powerlist: a structure for parallel recursion – Jayadev Misra - 1994
Specification and Generation of a λ-Calculus Environment – A. Van Deursen, Arie Van Deursen - 1992