The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
1998 (31)
Publication types (Num. hits)
inproceedings(31)
Venues (Conferences, Journals, ...)
PLILP/ALP(31)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 15 occurrences of 14 keywords

Results
Found 31 publication records. Showing 31 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Pierre-Etienne Moreau, Hélène Kirchner A Compiler for Rewrite Programs in Associative-Commutative Theories. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF AC theories, AC many-to-one matching, compilation, rewrite systems
1Jan-Georg Smaus, Patricia M. Hill, Andy King Termination of Logic Programs with block Declarations Running in Several Modes. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1John Hatcliff, Matthew B. Dwyer, Shawn Laubach Staging Static Analyses Using Abstraction-Based Program Specialization. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Marc Feeley, Martin Larose Compiling Erlang to Scheme. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1John G. Cleary, Lunjin Lu Constructive Negation Using Typed Existence Properties. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF existence properties, type system, constructive negation
1Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker Detecting Unsolvable Queries for Definite Logic Programs. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Philippe Refalo Approaches to the Incremental Detection of Implicit Equalities with the Revised Simplex Method. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Andrew M. Pitts Operational Versus Denotational Methods in the Semantics of Higher Order Languages. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Andrea Asperti Optimal Reduction of Functional Expressions. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Takahito Aoto 0001 Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Giorgio Levi, Paolo Volpe Derivation of Proof Methods by Abstract Interpretation. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Silvia Breitinger, Ulrike Klusik, Rita Loogen From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1David Wakeling Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Jesper Eskilson, Mats Carlsson SICStus MT - A Multithreaded Execution Environment for SICStus Prolog. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF logic programming, implementation, multithreading, machines
1Farid Ajili, Hendrik C. R. Lock Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1James Lipton, Robert McGrail Encapsulating Data in Logic Programming via Categorial Constraints. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Delia Kesner, Pablo E. Martínez López Explicit Substitutions for Objects and Functions. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Enrico Pontelli, Desh Ranjan, Gopal Gupta 0001 The Complexity of Late-Binding in Dynamic Object-Oriented Languages. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Charles Consel, Renaud Marlet Architecture Software Using: A Methodology for Language Development. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Sébastien Limet, Frédéric Saubion A General Framework for R-Unification Problems. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Rewrite techniques, unification, Tree languages
1Michael Hanus, Frank Steiner Controlling Search in Declarative Programs. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Giorgio Levi, Fausto Spoto An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF logic programming, static analysis, Abstract interpretation, abstract domain, type analysis
1Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo Embedding Multiset Constraints into a Lazy Functional Logic Language. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Bart Demoen, Konstantinos Sagonas CAT: The Copying Approach to Tabling. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Jean-Vincent Loddo, Stephane Nicolet A Game Semantics Foundation for Logic Programming (Extended Abstract). Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Joseph A. Goguen, Grant Malcolm, Tom Kemp A Hidden Herbrand Theorem. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Conal Elliott Functional Implementations of Continuos Modeled Animation. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren Logic Programming and Model Checking. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Wim Vanhoof, Danny De Schreye, Bern Martens A Framework for Bottom Up Specialisation of Logic Programs. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Michael Codish, Harald Søndergaard The Boolean Logic of Set Sharing Analysis. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1John Hannan Program Analysis in Lambda-Prolog. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #31 of 31 (100 per page; Change: )
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