1-20 of 81
John W. Lloyd
Close
Save search
Follow your search
Access your saved searches in your account
Would you like to receive an alert when new items match your search?
Close Modal
Sort by
Book Chapter

A Call-by-Need Strategy for Higher-Order Functional-Logic Programming

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0021
EISBN: 9780262291248
PDF
Book Chapter

Abstraction of Conditional Term Rewriting Systems

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0022
EISBN: 9780262291248
PDF
Book Chapter

Foundations I

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0023
EISBN: 9780262291248
Book Chapter

Clause-based proofs for hereditary Harrop formulas

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0024
EISBN: 9780262291248
PDF
Book Chapter

Optimizing Clause Resolution

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0025
EISBN: 9780262291248
PDF
Book Chapter

A Compositional Proof Method of Partial Correctness for Normal Logic Programs

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0026
EISBN: 9780262291248
PDF
Book Chapter

Implementation

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0027
EISBN: 9780262291248
Book Chapter

The implementation of AKL(FD)

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0028
EISBN: 9780262291248
PDF
Book Chapter

Code generation for Mercury

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0029
EISBN: 9780262291248
PDF
Book Chapter

A Simple Approach to Supporting Untagged Objects in Dynamically Typed Languages

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0030
EISBN: 9780262291248
PDF
Book Chapter

Foundations II

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0031
EISBN: 9780262291248
Book Chapter

Declarative Diagnosis Revisited

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0032
EISBN: 9780262291248
PDF
Book Chapter

Semantical Properties of Encodings in Logic Programming

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0033
EISBN: 9780262291248
PDF
Book Chapter

Temporal Logic Programming in Dense Time

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0034
EISBN: 9780262291248
PDF
Book Chapter

Analysis I

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0035
EISBN: 9780262291248
Book Chapter

Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0036
EISBN: 9780262291248
PDF
Book Chapter

A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0037
EISBN: 9780262291248
PDF
Book Chapter

Practical Model-Based Static Analysis for Definite Logic Programs

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0038
EISBN: 9780262291248
PDF
Book Chapter

Nonmonotonic Reasoning

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0039
EISBN: 9780262291248
Book Chapter

Logic Programming without Negation as Failure

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0040
EISBN: 9780262291248
PDF