Expressions that talk about themselves

M.M. Fokkinga

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
53 Downloads (Pure)

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).
Original languageUndefined
Pages (from-to)408-412
Number of pages5
JournalComputer journal
Volume39
Issue number5
DOIs
Publication statusPublished - 1996

Keywords

  • METIS-118500
  • IR-66233
  • EWI-6289

Cite this