Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Pedro Cabalar, Stéphane Demri |
Automata-Based Computation of Temporal Equilibrium Models. |
LOPSTR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
Using Real Relaxations during Program Specialization. |
LOPSTR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Caballero 0001, Adrián Riesco 0001, Alberto Verdejo, Narciso Martí-Oliet |
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. |
LOPSTR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Celine Dandois, Wim Vanhoof |
Clones in Logic Programs and How to Detect Them. |
LOPSTR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas |
Resource-Driven CLP-Based Test Case Generation. |
LOPSTR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | John P. Gallagher |
Analysis of Logic Programs Using Regular Tree Languages - (Extended Abstract). |
LOPSTR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Fritz Henglein |
Dynamic Symbolic Computation for Domain-Specific Language Implementation. |
LOPSTR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ströder, Fabian Emmes, Peter Schneider-Kamp, Jürgen Giesl, Carsten Fuhs |
A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog. |
LOPSTR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente (eds.) |
Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers |
LOPSTR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Pilozzi, Danny De Schreye |
Improved Termination Analysis of CHR Using Self-sustainability Analysis. |
LOPSTR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jónathan Heras, Vico Pascual, Julio Rubio 0001 |
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hirohisa Seki |
On Inductive Proofs by Extended Unfold/Fold Transformation Rules. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | David Insa, Josep Silva |
Scaling Up Algorithmic Debugging with Virtual Execution Trees. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kanako Sakurai, Kenichi Asai |
MikiBeta : A General GUI Library for Visualizing Proof Trees - System Description and Demonstration. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Germán Vidal |
A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla |
Compositional CLP-Based Test Data Generation for Imperative Languages. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Dean Voets, Danny De Schreye |
Non-termination Analysis of Logic Programs Using Types. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Danny De Schreye (eds.) |
Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Johann Schumann, Karen Cate, Alan Lee |
Analysis of Air Traffic Track Data with the AutoBayes Synthesis System. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marisa Llorens, Javier Oliver 0001, Josep Silva, Salvador Tamarit |
Graph Generation to Statically Represent CSP Processes. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel |
Verification of the Schorr-Waite Algorithm - From Trees to Graphs. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Bacci 0001, Marco Comini |
Abstract Diagnosis of First Order Functional Logic Programs. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Danvy, Ian Zerny |
Three Syntactic Theories for Combinatory Graph Reduction. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ströder, Peter Schneider-Kamp, Jürgen Giesl |
Dependency Triples for Improving Termination Analysis of Logic Programs with Cut. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Calvès, Maribel Fernández |
The First-Order Nominal Link. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hirohisa Seki |
On Inductive and Coinductive Proofs via Unfold/Fold Transformations. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Richard Min, Gopal Gupta 0001 |
Coinductive Logic Programming with Negation. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Susumu Nishimura |
Refining Exceptions in Four-Valued Logic. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Germán Vidal |
Towards Scalable Partial Evaluation of Declarative Programs. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schneider-Kamp, Jürgen Giesl, Manh Thang Nguyen |
The Dependency Triple Framework for Termination of Logic Programs. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Lacramioara Astefanoaei, Frank S. de Boer, M. Birna van Riemsdijk |
Using Rewrite Strategies for Testing BUpL Agents. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | François Degrave, Tom Schrijvers, Wim Vanhoof |
Towards a Framework for Constraint-Based Test Case Generation. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | José Iborra, Naoki Nishida 0001, Germán Vidal |
Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus (eds.) |
Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Scandolo, César Kunz, Manuel V. Hermenegildo |
Program Parallelization Using Synchronized Pipelining. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Carl Friedrich Bolz, Michael Leuschel, Armin Rigo |
Towards Just-In-Time Partial Evaluation of Prolog. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Czenko, Sandro Etalle |
LP with Flexible Grouping and Aggregates Using Modes. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe |
A Transformational Approach for Proving Properties of the CHR Constraint Store. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
Deciding Full Branching Time Logic by Program Transformation. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva |
Defining Datalog in Rewriting Logic. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germán Vidal |
A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla |
Test Data Generation of Bytecode by CLP Partial Evaluation. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher |
From Monomorphic to Polymorphic Well-Typings and Beyond. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gourinath Banda, John P. Gallagher |
Analysis of Linear Hybrid Systems in CLP. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael Leuschel, Germán Vidal |
Fast Offline Partial Evaluation of Large Logic Programs. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andy King (eds.) |
Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Santiago Escobar 0001, José Meseguer 0001, Pedro Ojeda |
A Modular Equational Generalization Algorithm. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael Leuschel, Marisa Llorens, Javier Oliver 0001, Josep Silva, Salvador Tamarit |
The MEB and CEB Static Analysis for CSP Specifications. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
CSP, Concurrent Programming, Program Slicing |
1 | Emanuel Kitzelmann |
Analytical Inductive Functional Programming. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
Space Invading Systems Code. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Montenegro, Ricardo Peña-Marí, Clara Segura |
An Inference Algorithm for Guaranteeing Safe Destruction. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
type-based analysis, memory management, type inference |
1 | Hirohisa Seki |
On Negative Unfolding in the Answer Set Semantics. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | François Degrave, Tom Schrijvers, Wim Vanhoof |
Automatic Generation of Test Inputs for Mercury. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Annalisa Bossi, Carla Piazza, Sabina Rossi |
Action Refinement in Process Algebra and Security Issues. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Slim Abdennadher, Ingi Sobhi |
Generation of Rule-Based Constraint Solvers: Combined Approach. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Fischer 0001, Josep Silva, Salvador Tamarit, Germán Vidal |
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mauro Ferrari 0002, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi |
Snapshot Generation in a Constructive Object-Oriented Modeling Language. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Braßel, Jan Christiansen |
Denotation by Transformation. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Peter Van Weert, Jon Sneyers, Bart Demoen |
Aggregates for CHR through Program Transformation. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ye Zhang 0002, Flemming Nielson |
A Scalable Inclusion Constraint Solver Using Unification. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | François Degrave, Wim Vanhoof |
Towards a Normal Form for Mercury Programs. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Michael Codish |
Proving Termination with (Boolean) Satisfaction. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
Logic Programming, Program Transformation, Automatic Parallelization, And- Parallelism |
1 | Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla |
Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Manh Thang Nguyen, Jürgen Giesl, Peter Schneider-Kamp, Danny De Schreye |
Termination Analysis of Logic Programs Based on Dependency Graphs. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo |
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Germán Puebla (eds.) |
Logic-Based Program Synthesis and Transformation, 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Iman Poernomo |
Synthesis of Data Views for Communicating Processes. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sven Schewe, Bernd Finkbeiner |
Synthesis of Asynchronous Systems. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Manh Thang Nguyen, Danny De Schreye |
Polytool: Proving Termination Automatically Based on Polynomial Interpretations. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Patricia M. Hill (eds.) |
Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schneider-Kamp, Jürgen Giesl, Alexander Serebrenik, René Thiemann |
Automated Termination Analysis for Logic Programs by Term Rewriting. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Slim Abdennadher, Abdellatif Olama, Noha Salem, Amira Thabet |
ARM: Automatic Rule Miner. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Brassel, Sebastian Fischer 0001, Frank Huch |
A Program Transformation for Tracing Functional Logic Computations. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bagnara, Katy Louise Dobson, Patricia M. Hill, Matthew Mundell, Enea Zaffanella |
Grids: A Domain for Analyzing the Distribution of Numerical Values. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Chiaki Sakama, Katsumi Inoue |
Constructing Consensus Logic Programs. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Étienne Payet |
Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Michael Leuschel, Stephen-John Craig, Daniel Elphick |
Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Josep Silva |
A Comparative Study of Algorithmic Debugging Strategies. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty |
On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Madan Musuvathi, Shaz Qadeer |
CHESS: Systematic Stress Testing of Concurrent Software. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo |
Towards Description and Optimization of Abstract Machines in an Extension of Prolog. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
Optimization, Compilation, Prolog, Program Transformation, Abstract Machines |
1 | Massimo Marchiori |
How to Talk to a Human: The Semantic Web and the Clash of the Titans. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Heiko Mantel, Henning Sudbrock, Tina Kraußer |
Combining Different Proof Techniques for Verifying Information Flow Security. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal |
Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
Transformational Verification of Parameterized Protocols Using Array Formulas. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sandro Etalle (eds.) |
Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | John P. Gallagher, Germán Puebla, Elvira Albert |
Converting One Type-Based Abstract Domain to Another. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno |
Experiments in Context-Sensitive Analysis of Modular Programs. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo |
Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Germán Puebla, John P. Gallagher |
Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | François Fages |
Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Kohei Suenaga, Naoki Kobayashi 0001, Akinori Yonezawa |
Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Michael Hanus |
Declarative Programming with Function Patterns. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro |
A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Luke Simon, Ajay Mallya, Gopal Gupta 0001 |
Design and Implementation of AT: A Real-Time Action Description Language. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Javier Álvez, Paqui Lucio |
An Algorithm for Local Variable Elimination in Normal Logic Programs. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir |
Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
Addition of faulttolerance, Fault-tolerance, Program transformation, Theorem proving, Program synthesis, PVS, Mechanical verification |
1 | Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi |
Constructive Specifications for Compositional Units. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
|