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 |
|