Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ekaterina Komendantskaya, Patricia Johann, Martin Schmidt 0002 |
A Productivity Checker for Logic Programming. |
LOPSTR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Andy Jost |
A New Functional-Logic Compiler for Curry: Sprite. |
LOPSTR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms. |
LOPSTR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin |
A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. |
LOPSTR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret |
Nominal Unification of Higher Order Expressions with Recursive Let. |
LOPSTR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond |
Coinductive Soundness of Corecursive Type Class Resolution. |
LOPSTR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Sáenz-Pérez |
Intuitionistic Logic Programming for SQL. |
LOPSTR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fred Mesnard, Étienne Payet, Germán Vidal |
On the Completeness of Selective Unification in Concolic Testing of Logic Programs. |
LOPSTR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bin Fang 0004, Mihaela Sighireanu |
Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators. |
LOPSTR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Angel Cuenca-Ortega, Santiago Escobar 0001, José Meseguer 0001 |
Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms. |
LOPSTR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Zielenkiewicz, Aleksy Schubert |
Automata Theory Approach to Predicate Intuitionistic Logic. |
LOPSTR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus |
CurryCheck: Checking Properties of Curry Programs. |
LOPSTR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi |
Slicing Concurrent Constraint Programs. |
LOPSTR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Daniel Pardo 0002, Alicia Villanueva |
Symbolic Abstract Contract Synthesis in a Rewriting Framework. |
LOPSTR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Nishida 0001, Adrián Palacios, Germán Vidal |
A Reversible Semantics for Erlang. |
LOPSTR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Bichler, Michael Morak, Stefan Woltran |
lpopt: A Rule Optimization Tool for Answer Set Programming. |
LOPSTR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti |
Verification of Time-Aware Business Processes Using Constrained Horn Clauses. |
LOPSTR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ginés Moreno, Jaime Penabad, José A. Riaza, Germán Vidal |
Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs. |
LOPSTR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh 0001, Niyas C |
Scaling Bounded Model Checking by Transforming Programs with Arrays. |
LOPSTR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack |
MiniZinc with Strings. |
LOPSTR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dale Miller 0001 |
Proof Checking and Logic Programming. |
LOPSTR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Serge Autexier, Dieter Hutter |
SHIP - A Logic-Based Language and Tool to Program Smart Environments. |
LOPSTR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Heiko Mantel, Markus Müller-Olm, Matthias Perner, Alexander Wenner |
Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis. |
LOPSTR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Andy Jost |
Compiling Collapsing Rules in Certain Constructor Systems. |
LOPSTR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hirohisa Seki |
On Dual Programs in Co-Logic Programming. |
LOPSTR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Koichi Sato, Kentaro Kikuchi, Takahito Aoto 0001, Yoshihito Toyama |
Correctness of Context-Moving Transformations for Term Rewriting Systems. |
LOPSTR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peng Fu 0001, Ekaterina Komendantskaya |
A Type-Theoretic Approach to Resolution. |
LOPSTR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva |
Abstract Analysis of Universal Properties for tccp. |
LOPSTR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro |
Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges. |
LOPSTR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | José Meseguer 0001, Stephen Skeirik |
Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras. |
LOPSTR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adrián Riesco 0001, Irina Mariuca Asavoae, Mihail Asavoae |
Memory Policy Analysis for Semantics Specifications in Maude. |
LOPSTR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Montenegro, Ricardo Peña, Jaime Sánchez-Hernández |
A Generic Intermediate Representation for Verification Condition Generation. |
LOPSTR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Maurizio Proietti, Hirohisa Seki (eds.) |
Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers |
LOPSTR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sandra Alves, Sabine Broda, Maribel Fernández |
A Typed Language for Events. |
LOPSTR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Michael Hanus |
From Boolean Equalities to Constraints. |
LOPSTR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Moreno Falaschi (eds.) |
Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers |
LOPSTR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, Francesca Levi |
A Global Occurrence Counting Analysis for Brane Calculi. |
LOPSTR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adrián Palacios, Germán Vidal |
Concolic Execution in Functional Programming by Program Instrumentation. |
LOPSTR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot |
Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods. |
LOPSTR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Arwa Ismail, Nada Sharaf, Slim Abdennadher |
CHR in Action. |
LOPSTR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Caballero 0001, Manuel Montenegro, Herbert Kuchen, Vincent von Hof |
Checking Java Assertions Using Automated Test-Case Generation. |
LOPSTR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David Insa, Josep Silva |
A Generalized Model for Algorithmic Debugging. |
LOPSTR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp |
Applying Sorting Networks to Synthesize Optimized Sorting Libraries. |
LOPSTR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dipak L. Chaudhari, Om P. Damani |
Combining Top-Down and Bottom-Up Techniques in Program Derivation. |
LOPSTR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Elsawy, Amira Zaki, Slim Abdennadher |
Exhaustive Execution of CHR Through Source-to-Source Transformation. |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | José F. Morales 0001, Manuel V. Hermenegildo |
Pre-indexed Terms for Prolog. |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth |
CHRAnimation: An Animation Tool for Constraint Handling Rules. |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Danny De Schreye, Vincent Nys, Colin J. Nicholson |
Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction. |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Lucas, José Meseguer 0001, Raúl Gutiérrez |
Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems. |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Germán Vidal |
Concolic Execution and Test Case Generation in Prolog. |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Henning Christiansen 0001, Maja H. Kirkeby |
Confluence Modulo Equivalence in Constraint Handling Rules. |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Norbert Preining, Kazuhiro Ogata 0001, Kokichi Futatsugi |
Liveness Properties in CafeOBJ - A Case Study for Meta-Level Specifications. |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gopal Gupta 0001, Ricardo Peña (eds.) |
Logic-Based Program Synthesis and Transformation, 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey |
Analyzing Array Manipulating Programs by Program Transformation. |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Gall, Thom W. Frühwirth |
A Formal Semantics for the Cognitive Architecture ACT-R. |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Amer Tahat, Ali Ebnenasir |
A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols. |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wlodzimierz Drabent |
On Completeness of Logic Programs. |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sandra Alves, Anatoli Degtyarev, Maribel Fernández |
Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics. |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nikita Danilenko |
Functional Kleene Closures. |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ranjeet Singh, Andy King |
Partial Evaluation for Java Malware Detection. |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Remis Balaniuk |
Drill and Join: A Method for Exact Inductive Program Synthesis. |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Emilio Jesús Gallego Arias, James Lipton, Julio Mariño-Carballo |
Declarative Compilation for Constraint Logic Programming. |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Md. Solimul Chowdhury, Fangfang Liu, Wu Chen, Arash Karimi, Jia-Huai You |
Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies. |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Danvy, Jacob Johannsen |
From Outermost Reduction Semantics to Abstract Machine. |
LOPSTR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ghada Fakhry, Nada Sharaf, Slim Abdennadher |
Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics. |
LOPSTR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Germán Vidal |
Towards Erlang Verification by Term Rewriting. |
LOPSTR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Juan González, David Insa, Josep Silva |
A New Hybrid Debugging Architecture for Eclipse. |
LOPSTR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Umer Liqat, Steve Kerrison, Alejandro Serrano 0001, Kyriakos Georgiou, Pedro López-García 0001, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder |
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. |
LOPSTR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Aransay, Jose Divasón |
Formalization and Execution of Linear Algebra: From Theorems to Algorithms. |
LOPSTR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Nishida 0001, Germán Vidal |
A Finite Representation of the Narrowing Space. |
LOPSTR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Casper Bach Poulsen, Peter D. Mosses |
Generating Specialized Interpreters for Modular Structural Operational Semantics. |
LOPSTR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich |
Information Flow in Object-Oriented Software. |
LOPSTR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hirohisa Seki |
Extending Co-logic Programs for Branching-Time Model Checking. |
LOPSTR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Samir Genaim, Raúl Gutiérrez |
A Transformational Approach to Resource Analysis with Typed-Norms. |
LOPSTR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert (eds.) |
Logic-Based Program Synthesis and Transformation, 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers |
LOPSTR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Andy Jost |
Compiling a Functional Logic Language: The Fair Scheme. |
LOPSTR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Neda Saeedloei |
A Logical Encoding of Timed $$\pi $$ -Calculus. |
LOPSTR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Germán Vidal (eds.) |
Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers |
LOPSTR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Heiko Mantel, Henning Sudbrock |
Types vs. PDGs in Information Flow Analysis. |
LOPSTR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Minami Niwa, Naoki Nishida 0001, Masahiko Sakai |
Improving Determinization of Grammar Programs for Program Inversion. |
LOPSTR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Specialization with Constrained Generalization for Software Model Checking. |
LOPSTR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kyle Marple, Gopal Gupta 0001 |
Galliwasp: A Goal-Directed Answer Set Solver. |
LOPSTR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | José Miguel Rojas, Miguel Gómez-Zamalloa |
A Framework for Guided Test Case Generation in Constraint Logic Programming. |
LOPSTR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Giesl, Thomas Ströder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs |
Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs. |
LOPSTR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Nassim Seghir, Martin Brain |
Simplifying the Verification of Quantified Array Assertions via Code Transformation. |
LOPSTR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Celine Dandois, Wim Vanhoof |
Semantic Code Clones in Logic Programs. |
LOPSTR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Henning Christiansen 0001, Christian Theil Have, Ole Torp Lassen, Matthieu Petit |
A Declarative Pipeline Language for Complex Data Analysis. |
LOPSTR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Nishida 0001, Germán Vidal |
Computing More Specific Versions of Conditional Rewriting Systems. |
LOPSTR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Claus Zinn |
Program Analysis and Manipulation to Reproduce Learners' Erroneous Reasoning. |
LOPSTR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hirohisa Seki |
Proving Properties of Co-logic Programs with Negation by Program Transformations. |
LOPSTR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson |
XACML 3.0 in Answer Set Programming. |
LOPSTR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey |
An Introduction to Search Combinators. |
LOPSTR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David Insa, Josep Silva, César Tomás |
Enhancing Declarative Debugging with Loop Expansion and Tree Compression. |
LOPSTR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hirohisa Seki |
Proving Properties of Co-Logic Programs by Unfold/Fold Transformations. |
LOPSTR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jon Sneyers, Danny De Schreye |
Probabilistic Termination of CHRiSM Programs. |
LOPSTR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Moura |
Meta-predicate Semantics. |
LOPSTR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Maribel Fernández, Hélène Kirchner, Olivier Namet |
A Strategy Language for Graph Rewriting. |
LOPSTR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez, Rafael Caballero 0001, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
A Declarative Embedding of XQuery in a Functional-Logic Language. |
LOPSTR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | José F. Morales 0001, Manuel V. Hermenegildo, Rémy Haemmerlé |
Modular Extensions for Modular (Logic) Languages. |
LOPSTR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano 0001, Isao Sasano |
Marker-Directed Optimization of UnCAL Graph Transformations. |
LOPSTR |
2011 |
DBLP DOI BibTeX RDF |
|