<--- 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

InsFtute
of
Molecular
Systems
Biology

  Accelerating 3D Protein Modeling Using Cloud Computing 
 Lars
Malmström,
Ruedi
Aebersold
–
ETH
Zürich,
IMSB
h?p://www.imsb.ethz.ch
 Wibke
Sud

InsFtute
of
Molecular
Systems
Biology

 Accelerating 3D Protein Modeling Using Cloud Computing 
 Lars
Malmström,
Ruedi
Aebersold
–
ETH
Zürich,
IMSB
h?p://www.imsb.ethz.ch
 Wibke
Sud

DocID: 1xW13 - View Document

Erste Diskussionsrunde Treiber und betroffene Gebiete • Cloud Computing ist ein neuer Versuch, eine alte Idee zu reanimieren. Es handelt sich im Grund um eine blosse Marketing & Sales-Kampagne der Anbieter von Infrastr

Erste Diskussionsrunde Treiber und betroffene Gebiete • Cloud Computing ist ein neuer Versuch, eine alte Idee zu reanimieren. Es handelt sich im Grund um eine blosse Marketing & Sales-Kampagne der Anbieter von Infrastr

DocID: 1xW0r - View Document

Stochastic Synthesis for Stochastic Computing Vincent T. Lee, Armin Alaghi, Luis Ceze, Mark Oskin University of Washington arXiv:1810.04756v1 [cs.ET] 10 Oct 2018

Stochastic Synthesis for Stochastic Computing Vincent T. Lee, Armin Alaghi, Luis Ceze, Mark Oskin University of Washington arXiv:1810.04756v1 [cs.ET] 10 Oct 2018

DocID: 1xVZF - View Document

Robotics - the next revolution in technology? From the early industrial revolution of the 18th century, powered by water and steam, to the combustion engine for cars in the 19th century and then to computing in the 20th

Robotics - the next revolution in technology? From the early industrial revolution of the 18th century, powered by water and steam, to the combustion engine for cars in the 19th century and then to computing in the 20th

DocID: 1xVUw - View Document

SCAN 2018 Post-conference Proceedings Special Issue of Journal of Computational and Applied Mathematics Call for Papers Special Issue on the 18th International Symposium on Scientific Computing, Computer Arithmetic,

SCAN 2018 Post-conference Proceedings Special Issue of Journal of Computational and Applied Mathematics Call for Papers Special Issue on the 18th International Symposium on Scientific Computing, Computer Arithmetic,

DocID: 1xVSx - View Document