Expressions that talk about themselves

Share/Save/Bookmark

Fokkinga, Maarten (1996) Expressions that talk about themselves. The Computer Journal, 39 (5). pp. 408-412. ISSN 0010-4620

[img]
Preview
PDF
2309Kb
Abstract:In this paper we explain, independent of any formalism, how to construct an expression in a formal system that ‘does something with itself’. As an application of this procedure we show how to construct a program that writes its own text, lay-out included. The emphases is on the systematic development in concrete programming languages, rather than on the abstract theory or the end result (which, indeed, are not new at all).
Item Type:Article
Copyright:© 1996 Oxford Journals
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/66233
Official URL:http://dx.doi.org/10.1093/comjnl/39.5.408
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 118500