Synthesis of programs in computational logic (2004)

Cached

Download Links

by David Basin , Yves Deville , Pierre Flener , Andreas Hamfelt , Jørgen Fischer Nilsson
Venue:PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC
Citations:7 - 0 self

Documents Related by Co-Citation

466 Interactive Theorem Proving and Program Development, Coq’Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. An EATCS Series – Yves Bertot, Pierre Castéran - 2004
53 The Theorema Project: A Progress Report – B Buchberger, C Dupre, T Jebelean, F Kriftner, K Nakagawa, D Vasaru, W Windsteiger - 2000
11 Theory Exploration Versus Theorem Proving – Bruno Buchberger - 1999
47 A Survey on the Theorema Project – Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru, A Schlo Hagenberg - 1997
26 Symbolic Computation: Computer Algebra and Logic – Bruno Buchberger - 1996
13 Algorithm Invention and Verification by Lazy Thinking – Bruno Buchberger - 2003
8 Towards the Automated Synthesis of a Gröbner Bases Algorithm – Bruno Buchberger - 2004
35 An Algorithm for Finding the Basis Elements in the Residue Class Ring Modulo a Zero Dimensional Polynomial Ideal – B Buchberger - 1965
28 Steadfast Logic Programs – Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund - 1994
39 Data refinement by calculation – C Morgan, P Gardiner - 1990
5 Higher-Order Transformation of Logic Programs – Silvija Seres, Mike Spivey - 2000
2 Translating Refined Logic Programs to Mercury – R. Colvin, I. Hayest, D. Hemer, P. Strooper
3 Refining logic programs using types – R Colvin, I J Hayes, P Strooper - 2000
6 Refinement Calculus for Logic Programming in Isabelle/HOL. Pages 249–264 of – D Hemer, I Hayes, P Strooper - 2001
11 The Relationship between Logic Programs and Specifications - The Subset Example Revisited – Kung-kiu Lau, Mario Ornaghi - 1997
5 Prolog program transformation by introduction of difference-lists – K Marriot, H Søndergaard - 1988
8 Supporting Contexts in Program Refinement – Ray Nickson, Ian Hayes - 1996
3 Formal program development in Modular Prolog: A case study. Pages 69–93 – M G Read, E A Kazmierczak - 1991
3 A Tool for Refining Logic Programs – Robert Colvin, Ian Hayes, Ray Nickson, Paul Strooper - 1997