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:6 - 0 self

Documents Related by Co-Citation

340 Interactive theorem proving and program development. Coq’Art: The calculus of inductive constructions – Y Bertot, P Castéran - 2004
11 Algorithm Invention And Verification By Lazy Thinking – Bruno BUCHBERGER - 2003
7 Towards the Automated Synthesis of a Gröbner Bases Algorithm – Bruno Buchberger
52 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 – B Buchberger - 1999
45 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
31 An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal – B Buchberger - 1965
9 Repair of boolean programs with an application to C – Andreas Griesmayer, Roderick Bloem, Byron Cook
18 Systematic Programming: An Introduction – N Wirth - 1973
5 Rodric Rabbah, Rastislav Bodík, and Kemal Ebcio˘glu. Prog. by sketching for bit-stream. prgs – Armando Solar-Lezama - 2005
4 An abstract formalization of correct schemas for program synthesis – Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, Julian Richardson
8 Schema-guided synthesis of imperative programs by constraint solving – Michael Colón - 2004
3 Heuristics for program synthesis using loop invariants – Joe W Duran - 1978
3 Using SMT solvers for deductive verification of C and Java programs – J-C FILLIÂTRE
5 Rastislav Bodik. Sketching concurrent data structures – Armando Solar-Lezama, Christopher Grant Jones - 2008
26 Flow graph reducibility – M S HECHT, J D ULLMAN - 1972
6 Sriram Sankaranarayanan, and Henny Sipma. Linear invariant generation using non-linear constraint solving – Michael Colon - 2003
363 Guarded commands, nondeterminacy and formal derivation of programs – E W Dijkstra - 1975