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

Documents Related by Co-Citation

469 Interactive theorem proving and program development: Coq’Art: The calculus of inductive constructions – Y Bertot, P Castéran - 2004
5 An abstract formalization of correct schemas for program synthesis – Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, Julian Richardson
4 Heuristics for program synthesis using loop invariants – Joe W Duran - 1978
4 Using smt solvers for deductive verification of c and java programs – Jean-Christophe Filliâtre
14 Repair of boolean programs with an application to C – Andreas Griesmayer, Roderick Bloem, Byron Cook
36 Program repair as a game – Andreas Griesmayer, Roderick Bloem - 2005
10 Sriram Sankaranarayanan, and Henny Sipma. Linear invariant generation using non-linear constraint solving – Michael A Colón - 2003
36 Optimizations for LTL synthesis – Roderick Bloem - 2006
65 Back to the Future -- Revisiting Precise Program Verification using SMT Solvers – Shuvendu K. Lahiri, Shaz Qadeer - 2008
13 Schema-guided synthesis of imperative programs by constraint solving – Michael Colón - 2004
8557 R.: Introduction to Algorithms – T Cormen, C Leiserson, Rivest - 1990
1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
417 Guarded commands, nondeterminacy, and the formal derivation of programs – Edsger W Dijkstra - 1975
799 E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic – E M Clarke, Emerson - 1982
469 The Science of Programming – D Gries - 1981
213 Abstractions from Proofs – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan - 2004
338 R.: On the synthesis of a reactive module – A Pnueli, Rosner - 1989
134 Termination proofs for systems code – Byron Cook, Andreas Podelski, Andrey Rybalchenko - 2006
31 Flow-graph reducibility – M S HECHT, J D ULLMAN - 1972