Defining a language in its own terms
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.
- McCARTHY, John: Lisp 1.5 Programmers Manual — Massachusetts Institute of Technology (1962).Google Scholar
- 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
- MARKOV, A.A.: The Theory of Algorithms — Am. Math. Soc. Transl. Ser. 2, vol. 15 (1960).Google Scholar
- 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