Expressions that talk about themselves

M.M. Fokkinga

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
116 Downloads (Pure)


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
Issue number5
Publication statusPublished - 1996


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

Cite this