<--- Back to Details
First PageDocument Content
Software engineering / Computing / Software / Evaluation strategy / Incremental computing / Partial evaluation / Programming language implementation / Interpreter / Logic programming / Programming language / Meta / Eval
Date: 2010-10-22 08:05:10
Software engineering
Computing
Software
Evaluation strategy
Incremental computing
Partial evaluation
Programming language implementation
Interpreter
Logic programming
Programming language
Meta
Eval

A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel. Corin Alistair Gurr A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosoph

Add to Reading List

Source URL: repository.readscheme.org

Download Document from Source Website

File Size: 624,83 KB

Share Document on Facebook

Similar Documents

Upper Room Mission Request for Proposals EVALUATION OF HOMELESSNESS STRATEGY FOR NORTH OKANAGAN Request for Proposal Issue Date

Upper Room Mission Request for Proposals EVALUATION OF HOMELESSNESS STRATEGY FOR NORTH OKANAGAN Request for Proposal Issue Date

DocID: 1v6r1 - View Document

Afghanistan visit on Training and Evaluation Strategy of SHGs operation

Afghanistan visit on Training and Evaluation Strategy of SHGs operation

DocID: 1v5Nj - View Document

International Journal of Advances in Science Engineering and Technology, ISSN: Volume- 2, Issue-4, OctA STRATEGY FOR RELIABILITY EVALUATION AND FAULT DIAGNOSIS OF AUTONOMOUS UNDERWATER GLIDING ROBOT

International Journal of Advances in Science Engineering and Technology, ISSN: Volume- 2, Issue-4, OctA STRATEGY FOR RELIABILITY EVALUATION AND FAULT DIAGNOSIS OF AUTONOMOUS UNDERWATER GLIDING ROBOT

DocID: 1urDX - View Document

Human-Robot Cross-Training: Computational Formulation, Modeling and Evaluation of a Human Team Training Strategy Stefanos Nikolaidis  Julie Shah

Human-Robot Cross-Training: Computational Formulation, Modeling and Evaluation of a Human Team Training Strategy Stefanos Nikolaidis Julie Shah

DocID: 1umuk - View Document

Human-Robot Cross-Training: Computational Formulation, Modeling and Evaluation of a Human Team Training Strategy Stefanos Nikolaidis  Julie Shah

Human-Robot Cross-Training: Computational Formulation, Modeling and Evaluation of a Human Team Training Strategy Stefanos Nikolaidis Julie Shah

DocID: 1uaR5 - View Document