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