Skip to main content

Formal Language Description Languages, I.F.I.P. Working Conference, Vienna, 14-18 September 1964, 1964-1966

MS. Eng. misc. b. 287/E.36
Held at the Weston Library

  • Request

Includes programme, list of participants, correspondence.

Strachey contributed a paper 'Towards a Formal Semantics' which was not published until 1966 in Formal Language Description Languages for Computer Programming, ed. T.B. Steel Jr., North Holland. Strachey described this paper as 'the beginning of a mathematical (as opposed to operational) approach to formulating the semantics of a programming language'.


  • Creation: 1964-1966


1 file

Language of Materials

  • English


MS. Eng. misc. b. 287/E.36

Former reference:

CSAC 71.1.80/E.36

Related Materials

See MS. Eng. misc. b. 290/F.31

Repository Details

Part of the Bodleian Libraries Repository

Weston Library
Broad Street
Oxford OX1 3BG United Kingdom