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 (13)
Publication types (Num. hits)
inproceedings(472) proceedings(28)
Venues (Conferences, Journals, ...)
LOPSTR(500)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 39 occurrences of 30 keywords

Results
Found 500 publication records. Showing 500 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Fred Mesnard, Peter J. Stuckey (eds.) Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers Search on Bibsonomy LOPSTR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo Multivariant Assertion-Based Guidance in Abstract Interpretation. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antonis Troumpoukis, Angelos Charalambidis Predicate Specialization for Definitional Higher-Order Logic Programs. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vincent Nys, Danny De Schreye Compiling Control as Offline Partial Deduction. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Laura Titolo, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato Eliminating Unstable Tests in Floating-Point Programs. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, John P. Gallagher (eds.) Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Étienne Payet Guided Unfoldings for Finding Loops in Standard Term Rewriting. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Henning Christiansen 0001, Maja H. Kirkeby Confluence of CHR Revisited: Invariants and Modulo Equivalence. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska Multiparty Classical Choreographies. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Salvador Lucas Proving Program Properties as First-Order Satisfiability. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Moreno Falaschi, Carlos Olarte An Assertion Language for Slicing Constraint Logic Languages. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Petros Papapanagiotou, Jacques D. Fleuriot A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Salvador Lucas Analysis of Rewriting-Based Systems as First-Order Theories. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Cosimo Laneve, Abel Garcia Deadlock Detection of Java Bytecode. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Huu-Vu Nguyen, Tayssir Touili CARET Analysis of Multithreaded Programs. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho Nominal C-Unification. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michele Alberti, Julien Signoles Context Generation from Formal Specifications for C Analysis Tools. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gustavo Betarte, Juan Diego Campo, Felipe Gorostiaga, Carlos Luna A Certified Reference Validation Mechanism for the Permission Model of Android. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gergö Barany Liveness-Driven Random Program Generation. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Maja H. Kirkeby, Henning Christiansen 0001 Confluence and Convergence in Probabilistically Terminating Reduction Systems. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christiane Engels, Andreas Behrend, Stefan Brass A Rule-Based Approach to Analyzing Database Schema Objects with Datalog. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Predicate Pairing with Abstraction for Relational Verification. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1David Insa, Sergio Pérez 0001, Josep Silva, Salvador Tamarit Erlang Code Evolution Control. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Hanus Combining Static and Dynamic Contract Checking for Curry. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Raúl Gutiérrez, José Meseguer Variant-Based Decidable Satisfiability in Initial Algebras with Predicates. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Olivier Bodini, Paul Tarau On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Umer Liqat, Zorana Bankovic, Pedro López-García 0001, Manuel V. Hermenegildo Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hassan Aït-Kaci, Gabriella Pasi Fuzzy Unification and Generalization of First-Order Terms over Similar Signatures. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel Generation of Initial Contexts for Effective Deadlock Detection. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Pedro López-García 0001 (eds.) Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stephen Skeirik, Andrei Stefanescu, José Meseguer A Constructor-Based Reachability Logic for Rewrite Theories. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
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, José Meseguer 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, 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, 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, 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, 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, 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
Displaying result #1 - #100 of 500 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license