Search results for "LOPSTR"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal	Run-Time Profiling of Functional Logic Programs.	LOPSTR	2004	DBLP DOI BibTeX RDF
1	Stephen-John Craig, John P. Gallagher, Michael Leuschel, Kim S. Henriksen	Fully Automatic Binding-Time Analysis for Prolog.	LOPSTR	2004	DBLP DOI BibTeX RDF
1	Santiago Escobar 0001, José Meseguer 0001, Prasanna Thati	Natural Rewriting for General Term Rewriting Systems.	LOPSTR	2004	DBLP DOI BibTeX RDF
1	Germán Puebla, Elvira Albert, Manuel V. Hermenegildo	Efficient Local Unfolding with Ancestor Stacks for Full Prolog.	LOPSTR	2004	DBLP DOI BibTeX RDF
1	Annalisa Bossi, Carla Piazza, Sabina Rossi	Unwinding Conditions for Security in Imperative Languages.	LOPSTR	2004	DBLP DOI BibTeX RDF
1	Mads Sig Ager	From Natural Semantics to Abstract Machines.	LOPSTR	2004	DBLP DOI BibTeX RDF
1	Taisuke Sato, Yoshitaka Kameya	Negation Elimination for Finite PCFGs.	LOPSTR	2004	DBLP DOI BibTeX RDF
1	Thom W. Frühwirth	Specialization of Concurrent Guarded Multi-set Transformation Rules.	LOPSTR	2004	DBLP DOI BibTeX RDF
1	Jonathan Moody	Logical Mobility and Locality Types.	LOPSTR	2004	DBLP DOI BibTeX RDF
1	Michael Colón	Schema-Guided Synthesis of Imperative Programs by Constraint Solving.	LOPSTR	2004	DBLP DOI BibTeX RDF
1	Pedro López-García 0001, Francisco Bueno, Manuel V. Hermenegildo	Determinacy Analysis for Logic Programs Using Mode and Type Information.	LOPSTR	2004	DBLP DOI BibTeX RDF	Determinacy Inference, Program Analysis, Types, Modes
1	Wim Vanhoof	Searching Semantically Equivalent Code Fragments in Logic Programs.	LOPSTR	2004	DBLP DOI BibTeX RDF
1	J. B. Wells, Boris Yakobowski	Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis.	LOPSTR	2004	DBLP DOI BibTeX RDF
1	Maurice Bruynooghe (eds.)	Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers	LOPSTR	2004	DBLP DOI BibTeX RDF
1	Alexander Serebrenik, Frédéric Mesnard	On Termination of Binary CLP Programs.	LOPSTR	2004	DBLP DOI BibTeX RDF
1	M. R. K. Krishna Rao	Input-Termination of Logic Programs.	LOPSTR	2004	DBLP DOI BibTeX RDF
1	Francis Alexandre, Khaled Bsaïes, Moussa Demba	Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures.	LOPSTR	2003	DBLP DOI BibTeX RDF	Corrective predicate, implicative formulas, folding/unfolding rules, theorem proving, program synthesis, abduction
1	Slim Abdennadher, Thom W. Frühwirth	Integration and Optimization of Rule-Based Constraint Solvers.	LOPSTR	2003	DBLP DOI BibTeX RDF
1	Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi	Deterministic Higher-Order Patterns for Program Transformation.	LOPSTR	2003	DBLP DOI BibTeX RDF	Higher-order pattern matching, Fusion transformation, Program transformation, Functional programming, Program derivation
1	Alexander Serebrenik, Danny De Schreye	Proving Termination with Adornments.	LOPSTR	2003	DBLP DOI BibTeX RDF
1	Dariusz Biernacki, Olivier Danvy	From Interpreter to Logic Engine by Defunctionalization.	LOPSTR	2003	DBLP DOI BibTeX RDF
1	Qian Wang 0024, Gopal Gupta 0001	Continuation Semantics as Horn Clauses.	LOPSTR	2003	DBLP DOI BibTeX RDF
1	Tjark Weber, James L. Caldwell	Constructively Characterizing Fold and Unfold.	LOPSTR	2003	DBLP DOI BibTeX RDF
1	José-Luis Ruiz-Reina, José Antonio Alonso Jimenez, María-José Hidalgo, Francisco-Jesús Martín-Mateos	Formal Reasoning about Efficient Data Structures: A Case Study in ACL2.	LOPSTR	2003	DBLP DOI BibTeX RDF
1	Pierre Flener, Justin Pearson, Magnus Ågren 0002	Introducing esra, a Relational Language for Modelling Combinatorial Problems.	LOPSTR	2003	DBLP DOI BibTeX RDF
1	Kung-Kiu Lau, Mario Ornaghi	Correct OO Systems in Computational Logic.	LOPSTR	2003	DBLP DOI BibTeX RDF
1	Sandra Alves, Mário Florido	Linearization by Program Transformation.	LOPSTR	2003	DBLP DOI BibTeX RDF
1	Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi 0001, Masato Takeichi	An Efficient Staging Algorithm for Binding-Time Analysis.	LOPSTR	2003	DBLP DOI BibTeX RDF
1	Bernd Fischer 0002, Eelco Visser	Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract).	LOPSTR	2003	DBLP DOI BibTeX RDF
1	John P. Gallagher	A Program Transformation for Backwards Analysis of Logic Programs.	LOPSTR	2003	DBLP DOI BibTeX RDF
1	Michael Leuschel (eds.)	Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers	LOPSTR	2003	DBLP DOI BibTeX RDF
1	Thomas Ellman	Specification and Synthesis of Hybrid Automata for Physics-Based Animation.	LOPSTR	2003	DBLP DOI BibTeX RDF
1	Henning Christiansen 0001, Davide Martinenghi	Simplification of Database Integrity Constraints Revisited: A Transformational Approach.	LOPSTR	2003	DBLP DOI BibTeX RDF
1	Helko Lehmann, Michael Leuschel	Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce.	LOPSTR	2003	DBLP DOI BibTeX RDF
1	Rudolf Berghammer, Markus Müller-Olm	Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables.	LOPSTR	2003	DBLP DOI BibTeX RDF
1	Slim Abdennadher, Christophe Rigotti	Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming.	LOPSTR	2002	DBLP DOI BibTeX RDF
1	Gianluca Amato, Francesca Scozzari	A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties.	LOPSTR	2002	DBLP DOI BibTeX RDF
1	Francisco Gutiérrez, Blas C. Ruiz	A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene.	LOPSTR	2002	DBLP DOI BibTeX RDF	lambda calculus with types, pure type systems, cut elimination, sequent calculi
1	Rudolf Berghammer	A Generic Program for Minimal Subsets with Applications.	LOPSTR	2002	DBLP DOI BibTeX RDF
1	María Alpuente, Marco Comini, Santiago Escobar 0001, Moreno Falaschi, Salvador Lucas	Abstract Diagnosis of Functional Programs.	LOPSTR	2002	DBLP DOI BibTeX RDF
1	Roger Clayton, John G. Cleary, Bernhard Pfahringer, Mark Utting	Tabling Structures for Bottom-Up Logic Programming.	LOPSTR	2002	DBLP DOI BibTeX RDF
1	Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi	A Proof System for Information Flow Security.	LOPSTR	2002	DBLP DOI BibTeX RDF
1	Wim Vanhoof, Remko Tronçon, Maurice Bruynooghe	A Fixed Point Semantics for Logic Programs Extended with Cuts.	LOPSTR	2002	DBLP DOI BibTeX RDF
1	Kung-Kiu Lau, Mario Ornaghi	Towards Correct Object-Oriented Design Frameworks in Computational Logic.	LOPSTR	2002	DBLP DOI BibTeX RDF
1	Nancy Mazur, Gerda Janssens, Wim Vanhoof	Collecting Potential Optimisations.	LOPSTR	2002	DBLP DOI BibTeX RDF
1	Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper	Refinement of Higher-Order Logic Programs.	LOPSTR	2002	DBLP DOI BibTeX RDF
1	Stefan Gruner	Abstract Partial Deduction Challenged.	LOPSTR	2002	DBLP DOI BibTeX RDF
1	Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer 0001, Peter D. Mosses	Mapping Modular SOS to Rewriting Logic.	LOPSTR	2002	DBLP DOI BibTeX RDF
1	Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Combining Logic Programs and Monadic Second Order Logics by Program Transformation.	LOPSTR	2002	DBLP DOI BibTeX RDF
1	Axel Simon, Andy King, Jacob M. Howe	Two Variables per Linear Inequality as an Abstract Domain.	LOPSTR	2002	DBLP DOI BibTeX RDF
1	Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike	Program Synthesis Based on the Equivalent Transformation Computation Model.	LOPSTR	2002	DBLP DOI BibTeX RDF
1	Julio C. Peralta, John P. Gallagher	Convex Hull Abstractions in Specialization of CLP Programs.	LOPSTR	2002	DBLP DOI BibTeX RDF
1	Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano	Translating Datalog-Like Optimization Queries into ILOG Programs.	LOPSTR	2002	DBLP DOI BibTeX RDF
1	Hai-Feng Guo, C. R. Ramakrishnan 0001, I. V. Ramakrishnan	Justification Based on Program Transformation.	LOPSTR	2002	DBLP DOI BibTeX RDF
1	Germán Vidal	Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation.	LOPSTR	2002	DBLP DOI BibTeX RDF
1	Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina	Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers.	LOPSTR	2002	DBLP DOI BibTeX RDF
1	Maribel Fernández, Paula Severi	An Operational Approach to Program Extraction in the Calculus of Constructions.	LOPSTR	2002	DBLP DOI BibTeX RDF
1	Giorgio Delzanno, Sandro Etalle	Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols.	LOPSTR	2001	DBLP DOI BibTeX RDF
1	Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Verification of Sets of Infinite State Processes Using Program Transformation.	LOPSTR	2001	DBLP DOI BibTeX RDF
1	Michael Leuschel, Stefan Gruner	Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking.	LOPSTR	2001	DBLP DOI BibTeX RDF
1	Kazuhiko Kakehi 0001, Robert Glück, Yoshihiko Futamura	On Deforesting Parameters of Accumulating Maps.	LOPSTR	2001	DBLP DOI BibTeX RDF
1	Mauro Ferrari 0002, Camillo Fiorentini, Mario Ornaghi	Extracting Exact Time Bounds from Logical Proofs.	LOPSTR	2001	DBLP DOI BibTeX RDF
1	Alberto Pettorossi (eds.)	Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers	LOPSTR	2001	DBLP DOI BibTeX RDF
1	Natarajan Shankar	Static Analysis for Safe Destructive Updates in a Functional Language.	LOPSTR	2001	DBLP DOI BibTeX RDF
1	Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis	A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs.	LOPSTR	2001	DBLP DOI BibTeX RDF	Logic Program Transformations, Deductive Databases
1	Sébastien Ferré, Olivier Ridoux	A Framework for Developing Embeddable Customized Logics.	LOPSTR	2001	DBLP DOI BibTeX RDF
1	Kung-Kiu Lau, Mario Ornaghi	Correct Object-Oriented Systems in Computational Logic.	LOPSTR	2001	DBLP DOI BibTeX RDF
1	Kung-Kiu Lau (eds.)	Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers.	LOPSTR	2001	DBLP DOI BibTeX RDF
1	James L. Caldwell	Extracting General Recursive Program Schemes in Nuprl's Type Theory.	LOPSTR	2001	DBLP DOI BibTeX RDF
1	José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira	Computing Environment-Aware Agent Behaviours with Logic Program Updates.	LOPSTR	2001	DBLP DOI BibTeX RDF
1	Elvira Albert, Germán Vidal	Symbolic Profiling for Multi-paradigm Declarative Languages.	LOPSTR	2001	DBLP DOI BibTeX RDF
1	Wim Vanhoof, Maurice Bruynooghe	When Size Does Matter.	LOPSTR	2001	DBLP DOI BibTeX RDF
1	Mauricio Osorio 0001, Juan Antonio Navarro Pérez, José Arrazola	Equivalence in Answer Set Programming.	LOPSTR	2001	DBLP DOI BibTeX RDF
1	Walter W. Wilson	A minimal specification language.	LOPSTR	2000	DBLP BibTeX RDF
1	Silvija Seres, J. Michael Spivey	Higher-order transformation of logic programs.	LOPSTR	2000	DBLP BibTeX RDF
1	Sandro Etalle, Jon Mountjoy	The lazy functional side of logic programming.	LOPSTR	2000	DBLP BibTeX RDF
1	Wim Vanhoof, Maurice Bruynooghe	Towards a modular binding-time analysis for higher-order Mercury.	LOPSTR	2000	DBLP BibTeX RDF
1	Erwan Jahier, Mireille Ducassé, Olivier Ridoux	Specifying Prolog trace models with a continuation semantics.	LOPSTR	2000	DBLP BibTeX RDF
1	Alexander Serebrenik, Danny De Schreye	Non-tranformational termination analysis of logic programs, based on general term-orderings.	LOPSTR	2000	DBLP BibTeX RDF
1	Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Automated strategies for specializing constraint logic programs.	LOPSTR	2000	DBLP BibTeX RDF
1	Robert Colvin, Ian J. Hayes, Paul A. Strooper	Modular Logic Program Refinement.	LOPSTR	2000	DBLP BibTeX RDF
1	Elvira Albert, Sergio Antoy, Germán Vidal	Measuring the Effectiveness of Partial Evaluation.	LOPSTR	2000	DBLP BibTeX RDF
1	Alessandro Avellone, Mauro Ferrari 0002, Camillo Fiorentini	A formal framework for synthesis and verification of logic programs.	LOPSTR	2000	DBLP BibTeX RDF
1	Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey	A model for inter-module analysis and optimizing compilation.	LOPSTR	2000	DBLP BibTeX RDF
1	Bart Demoen	Prolog and abduction 4 writing garbage collectors.	LOPSTR	2000	DBLP BibTeX RDF
1	Alessandra Di Pierro, Herbert Wiklicky	On the precision of abstract interpretations.	LOPSTR	2000	DBLP BibTeX RDF
1	Iman Poernomo, John N. Crossley	Protocols between programs and proofs.	LOPSTR	2000	DBLP BibTeX RDF
1	Annalisa Bossi (eds.)	Logic Programming Synthesis and Transformation, 9th International Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected Papers	LOPSTR	2000	DBLP DOI BibTeX RDF
1	Kung-Kiu Lau (eds.)	Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, LOPSTR 2000, London, UK, July 24-28, 2000.	LOPSTR	2000	DBLP BibTeX RDF
1	Mireille Ducassé, Laurence Rozé	Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency.	LOPSTR	1999	DBLP DOI BibTeX RDF
1	Michael Leuschel, Thierry Massart	Infinite State Model Checking by Abstract Interpretation and Program Specialisation.	LOPSTR	1999	DBLP DOI BibTeX RDF
1	Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo	Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs.	LOPSTR	1999	DBLP DOI BibTeX RDF
1	Alberto Pettorossi, Maurizio Proietti	Transformation Rules for Logic Programs with Goals as Arguments.	LOPSTR	1999	DBLP DOI BibTeX RDF
1	Peter Ross, David Overton, Zoltan Somogyi	Making Mercury Programs Tail Recursive.	LOPSTR	1999	DBLP DOI BibTeX RDF
1	Donald Sannella	Algebraic Specification and Program Development by Stepwise Refinement.	LOPSTR	1999	DBLP DOI BibTeX RDF
1	Jürgen Giesl	Context-Moving Transformations for Function Verification.	LOPSTR	1999	DBLP DOI BibTeX RDF
1	Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Hirokazu Yatsu	On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic.	LOPSTR	1999	DBLP DOI BibTeX RDF
1	Jan-Georg Smaus, Patricia M. Hill, Andy King	Mode Analysis Domains for Typed Logic Programs.	LOPSTR	1999	DBLP DOI BibTeX RDF
1	Ralf Lämmel, Günter Riedewald, Wolfgang Lohmann	Roles of Program Extension.	LOPSTR	1999	DBLP DOI BibTeX RDF
1	Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux	Verification by Testing for Recursive Program Schemes.	LOPSTR	1999	DBLP DOI BibTeX RDF

Publications at "LOPSTR"( http://dblp.L3S.de/Venues/LOPSTR )