Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/conf/lopstr

Publication years (Num. hits)
1990-1991 (25) 1992 (19) 1993 (20) 1994 (16) 1995 (19) 1996 (19) 1997 (18) 1998 (25) 1999 (17) 2000 (16) 2001 (16) 2002 (22) 2003 (19) 2004 (18) 2005-2006 (29) 2007 (15) 2008-2009 (28) 2010 (16) 2011 (17) 2012 (16) 2013-2014 (33) 2015 (24) 2016 (20) 2017 (20) 2018-2019 (28) 2020 (18) 2021-2022 (20) 2023 (14)
Publication types (Num. hits)
inproceedings(534) proceedings(33)
Venues (Conferences, Journals, ...)
LOPSTR(567)
Authors
Manuel V. Hermenegildo(25) Germán Vidal(21) John P. Gallagher(20) Maurizio Proietti(18) Alberto Pettorossi(17) Michael Leuschel(17) Mario Ornaghi(16) Danny De Schreye(15) Kung-Kiu Lau(15) Wim Vanhoof(15) Elvira Albert(13) Germán Puebla(12) Josep Silva(12) José F. Morales 0001(11) Maribel Fernández(11) Annalisa Bossi(10) More (+10 of total 723)
GrowBag graphs for keyword ? (Num. hits/coverage)

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