Search results for "LOPSTR"

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

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