Formal Language Description Languages, I.F.I.P. Working Conference, Vienna, 14-18 September 1964
MS. Eng. misc. b. 287/E.36
Bodleian Libraries, University of Oxford
Description
From Bodleian Archives & Manuscripts
This is an extract only. For more information, see the catalogue record in Bodleian Archives & Manuscripts.
Bodleian Archives & Manuscripts contains descriptions of the Bodleian Libraries’ archival collections, including post-1500 manuscripts. Some manuscripts with records in other catalogues are also described here as part of a description of a larger archive. Learn more.
Title
Formal Language Description Languages, I.F.I.P. Working Conference, Vienna, 14-18 September 1964
Shelfmark
MS. Eng. misc. b. 287/E.36
Summary
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'.
Date
1964-1966
Language
English
Physical extent
1 file
View full record in Bodleian Archives & Manuscripts
Collection contents
Papers and correspondence of Christopher Strachey
Committees and Societies
International Federation for Information Processing (I.F.I.P.)
Formal Language Description Languages, I.F.I.P. Working Conference, Vienna, 14-18 September 1964
