
Conferences in DBLP
 Helko Lehmann, Michael Leuschel
Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce. [Citation Graph (0, 0)][DBLP] LOPSTR, 2003, pp:119 [Conf]
 Francis Alexandre, Khaled Bsaïes, Moussa Demba
Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures. [Citation Graph (0, 0)][DBLP] LOPSTR, 2003, pp:2033 [Conf]
 KungKiu Lau, Mario Ornaghi
Correct OO Systems in Computational Logic. [Citation Graph (0, 0)][DBLP] LOPSTR, 2003, pp:3453 [Conf]
 Thomas Ellman
Specification and Synthesis of Hybrid Automata for PhysicsBased Animation. [Citation Graph (0, 0)][DBLP] LOPSTR, 2003, pp:5455 [Conf]
 Bernd Fischer, Eelco Visser
Adding Concrete Syntax to a PrologBased Program Synthesis System (Extended Abstract). [Citation Graph (0, 0)][DBLP] LOPSTR, 2003, pp:5658 [Conf]
 Rudolf Berghammer, Markus MüllerOlm
Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables. [Citation Graph (0, 0)][DBLP] LOPSTR, 2003, pp:5974 [Conf]
 JoséLuis RuizReina, José Antonio Alonso Jimenez, MaríaJosé Hidalgo, FranciscoJesús MartínMateos
Formal Reasoning about Efficient Data Structures: A Case Study in ACL2. [Citation Graph (0, 0)][DBLP] LOPSTR, 2003, pp:7591 [Conf]
 John P. Gallagher
A Program Transformation for Backwards Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP] LOPSTR, 2003, pp:92105 [Conf]
 Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
An Efficient Staging Algorithm for BindingTime Analysis. [Citation Graph (0, 0)][DBLP] LOPSTR, 2003, pp:106107 [Conf]
 Alexander Serebrenik, Danny De Schreye
Proving Termination with Adornments. [Citation Graph (0, 0)][DBLP] LOPSTR, 2003, pp:108109 [Conf]
 Tjark Weber, James L. Caldwell
Constructively Characterizing Fold and Unfold. [Citation Graph (0, 0)][DBLP] LOPSTR, 2003, pp:110127 [Conf]
 Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
Deterministic HigherOrder Patterns for Program Transformation. [Citation Graph (0, 0)][DBLP] LOPSTR, 2003, pp:128142 [Conf]
 Dariusz Biernacki, Olivier Danvy
From Interpreter to Logic Engine by Defunctionalization. [Citation Graph (0, 0)][DBLP] LOPSTR, 2003, pp:143159 [Conf]
 Sandra Alves, Mário Florido
Linearization by Program Transformation. [Citation Graph (0, 0)][DBLP] LOPSTR, 2003, pp:160175 [Conf]
 Qian Wang, Gopal Gupta
Continuation Semantics as Horn Clauses. [Citation Graph (0, 0)][DBLP] LOPSTR, 2003, pp:176177 [Conf]
 Henning Christiansen, Davide Martinenghi
Simplification of Database Integrity Constraints Revisited: A Transformational Approach. [Citation Graph (0, 0)][DBLP] LOPSTR, 2003, pp:178197 [Conf]
 Slim Abdennadher, Thom W. Frühwirth
Integration and Optimization of RuleBased Constraint Solvers. [Citation Graph (0, 0)][DBLP] LOPSTR, 2003, pp:198213 [Conf]
 Pierre Flener, Justin Pearson, Magnus Ågren
Introducing esra, a Relational Language for Modelling Combinatorial Problems. [Citation Graph (0, 0)][DBLP] LOPSTR, 2003, pp:214232 [Conf]
