Defining a language in its own terms

  • H. Bekić
Selected Papers Language Definition
Part of the Lecture Notes in Computer Science book series (LNCS, volume 177)


The technique of expressing the semantics of a mechanical language in terms of the language itself is considered; an attempt is made to give a description that is independent of the specific language to which the technique is applied. The main investigation is restricted to expression languages, i.e. languages whose meaningful terms are expressions denoting constants. Lisp is used as an example, and some remarks how to extend the technique to programming languages are added.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    McCARTHY, John: Lisp 1.5 Programmers Manual — Massachusetts Institute of Technology (1962).Google Scholar
  2. [2]
    McCARTHY, John: Towards a Mathematical Science of Computation — In: C. M. Popplewell (editor), Proceedings of IFIP Congress 1962 — North Holland Publishing Company, Amsterdam (1963).Google Scholar
  3. [3]
    MARKOV, A.A.: The Theory of Algorithms — Am. Math. Soc. Transl. Ser. 2, vol. 15 (1960).Google Scholar
  4. [4]
    TURING, A.M.: On computable numbers with an application to the Entscheidungs problem — Proc. London Math. Soc., vol.42 (1936); vol.43 (1937).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • H. Bekić
    • 1
  1. 1.IBM Laboratory ViennaAustria

Personalised recommendations