D. H. D. Warren. An abstract Prolog instruction set. Technical Note 309, SRI International, Artificial Intelligence Center, Menlo Park, CA, USA, Oct. 1983. 12  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Implementation Strategies for Single Assignment Variables - Drejhammar, Schulte (2004) (Correct)
No context found.
D. H. D. Warren. An abstract Prolog instruction set. Technical Note 309, SRI International, Artificial Intelligence Center, Menlo Park, CA, USA, Oct. 1983. 12
Formal Methods in System Design, 20, 159--186, 2002 c - Verification Of Out-Of-Order (Correct)
No context found.
D.H.D. Warren, "An abstract prolog instruction set," Technical Note 309, SRI International, 1983.
Query Optimization: Combining Query Packs - And The Once-Transformation (Correct)
No context found.
D. H. D. Warren. An abstract Prolog instruction set. Technical Report 309, SRI, 1983.
Implementing Escher on a Graph Reduction Machine - Kerstin Eder University (Correct)
No context found.
D. H. D. Warren. An Abstract Prolog Instruction Set. Technical Note 309, SRI International, 1983.
Improved Compilation of Prolog to C Using Moded Types and.. - Morales, Carro, al. (2004) (Correct)
No context found.
D.H.D. Warren. An Abstract Prolog Instruction Set. Technical Report 309, Artificial Intelligence Center, SRI International, 333 Ravenswood Ave, Menlo Park CA 94025, 1983.
Improving the Compilation of Prolog to C Using Type.. - Morales, Carro (Correct)
No context found.
D.H.D. Warren. An Abstract Prolog Instruction Set. Technical Report 309, Artificial Intelligence Center, SRI International, 333 Ravenswood Ave, Menlo Park CA 94025, 1983.
Improved Compilation of Prolog to C Using Moded Types.. - Morales, Carro.. (Correct)
No context found.
Warren, D.: An Abstract Prolog Instruction Set. Technical Report 309, Artificial Intelligence Center, SRI International, 333 Ravenswood Ave, Menlo Park CA 94025 (1983)
Improving the Compilation of Prolog to C Using Type.. - Morales, Carro (Correct)
No context found.
D.H.D. Warren. An Abstract Prolog Instruction Set. Technical Report 309, Artificial Intelligence Center, SRI International, 333 Ravenswood Ave, Menlo Park CA 94025, 1983.
Query Optimization: Combining Query Packs and the.. - Troncon.. (2003) (Correct)
No context found.
D. H. D. Warren. An abstract Prolog instruction set. Technical Report 309, SRI, 1983.
All you wanted to know about the HiPE compiler.. - Sagonas.. (2003) (Correct)
No context found.
D. H. D. Warren. An abstract Prolog instruction set. Technical Report 309, SRI International, Menlo Park, U.S.A., Oct. 1983.
Precise and Expressive Mode Systems for Typed Logic Programming.. - Overton (2003) (Correct)
No context found.
David H. D. Warren. An abstract Prolog instruction set. Technical Note 309, SRI International, Menlo Park, California, USA, October 1983.
Alternatives for compile run in the WAM - Remko Troncon Gerda (Correct)
No context found.
D. H. D. Warren. An abstract Prolog instruction set. Technical Report 309, SRI, 1983. 12
Making Reliable Distributed Systems in the Presence of Software.. - Armstrong (2003) (1 citation) (Correct)
No context found.
David H.D. Warren. An abstract Prolog instruction set. Tecnical Note 309, SRI International, Menlo Park, California, October 1983.
Copying garbage collection for the WAM: - To Mark Or (Correct)
No context found.
D. H. D. Warren. An abstract Prolog instruction set. Technical Report 309, SRI, 1983.
Using SimICS to Evaluate the Penny System - Montelius, Magnusson (1997) (4 citations) (Correct)
No context found.
D. H. D. Warren. An abstract prolog instruction set. Technical Report 309, SRI International, 1983.
clp(B): Combining Simplicity and Efficiency in Boolean.. - Codognet, Diaz (Correct)
No context found.
D. H. D. Warren. An Abstract Prolog Instruction Set. Technical Report 309, SRI International, Oct. 1983.
Programming Finite-Domain Constraint Propagators in Action Rules - Zhou (2002) (Correct)
No context found.
Warren, D. H. D. An abstract Prolog instruction set. Tech. rep., SRI International, 1983.
On the Cache Performance of Prolog Systems - Castro, Costa (2002) (Correct)
No context found.
D. H. D. Warren. An Abstract Prolog Instruction Set. Technical Note 309, SRI International, 1983.
Unknown - (Correct)
No context found.
David. H. D. Warren. An Abstract Prolog Instruction Set. Technical Note 309, SRI International, Menlo Park, CA, October 1983.
Computing Rectangular Dissections - A Case Study in Deriving.. - Padawitz (1996) (Correct)
No context found.
D.H.D. Warren, An Abstract Prolog Instruction Set, Technical Note 309, SRI International 1983 29
Experimenting with Independent And-Parallel Prolog using.. - Hermenegildo Herme Fi (Correct)
No context found.
D.H.D. Warren. An Abstract Prolog Instruction Set. Technical Report 309, SRI International, 1983.
Implementation of a Linear Tabling Mechanism - Neng-Fa Zhou Department (2000) (4 citations) (Correct)
No context found.
Warren, D.H.D.: An Abstract Prolog Instruction Set, Technical Report 309, SRI International, 1983.
Improving the Compilation of Prolog to C Using Type.. - Morales, Carro (Correct)
No context found.
D.H.D. Warren. An Abstract Prolog Instruction Set. Technical Report 309, Artificial Intelligence Center, SRI International, 333 Ravenswood Ave, Menlo Park CA 94025, 1983.
Multiple-Valued Horn Clauses and Their WAM Compilation - Boley (1998) (Correct)
No context found.
David H. D. Warren. An abstract PROLOG instruction set. Technical Report 309, SRI International, AI Center, 1983.
An Operational Semantics for Declarative.. - Albert, Hanus, Huch.. (2002) (Correct)
No context found.
D.H.D. Warren. An Abstract Prolog Instruction Set. Technical note 309, SRI International, Stanford, 1983. 14
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC