{"product_id":"formal-language-description-languages-for-computer-programming-t-b-steel-jr-1966-early-computer-science-programming-language-theory","title":"Formal Language Description Languages for Computer Programming — T.B. Steel Jr., 1966 | Early Computer Science \u0026 Programming Language Theory","description":"\u003cp class=\"PDq2pG_selectionAnchorContainer\"\u003ePublished in 1966, \u003cem\u003eFormal Language Description Languages for Computer Programming\u003c\/em\u003e collects the proceedings of the landmark \u003cstrong\u003eIFIP Working Conference on Formal Language Description Languages\u003c\/strong\u003e, held in Vienna, Austria, September 15–18, 1964. The meeting brought together researchers working at a moment when computer scientists were attempting to move beyond simply inventing programming languages and toward mathematically rigorous ways of describing their syntax and meaning. \u003cspan class=\"contents\"\u003e\u003cspan class=\"\"\u003e\u003c\/span\u003e\u003c\/span\u003e\u003cspan class=\"PDq2pG_selectionAnchor\"\u003e\u003c\/span\u003e\u003c\/p\u003e\n\u003cp\u003eEdited by \u003cstrong\u003eT. B. Steel Jr.\u003c\/strong\u003e and published by North-Holland, the 330-page volume contains work by a remarkable group of early computer scientists, including \u003cstrong\u003eJohn McCarthy, Adriaan van Wijngaarden, Peter J. Landin, Corrado Böhm, Marcel-Paul Schützenberger, Seymour Ginsburg, Maurice Nivat\u003c\/strong\u003e, and others. McCarthy contributes “A Formal Description of a Subset of ALGOL,” while van Wijngaarden addresses recursive definitions of syntax and semantics and Landin contributes a formal description of ALGOL 60. \u003cspan class=\"contents\"\u003e\u003cspan class=\"\"\u003e\u003c\/span\u003e\u003c\/span\u003e\u003c\/p\u003e\n\u003cp\u003eThe volume documents an important stage in the development of \u003cstrong\u003eformal grammars, programming-language semantics, compiler theory, ALGOL, context-free languages, pushdown automata, and metalanguages\u003c\/strong\u003e. The photographed section, Marcel-Paul Schützenberger’s “Classification of Chomsky Languages,” is particularly notable: Schützenberger was one of the major figures in formal-language theory, and the paper is independently recorded as appearing in this volume on pages 100–104. \u003cspan class=\"contents\"\u003e\u003cspan class=\"\"\u003e\u003c\/span\u003e\u003c\/span\u003e\u003c\/p\u003e\n\u003cp\u003eSome of the work collected here continued to influence later programming-language research. Peter Landin’s contribution is still cited in histories of programming-language semantics, while the conference itself has been discussed in modern historical scholarship on the emergence of formal semantics during the 1960s. \u003cspan class=\"contents\"\u003e\u003cspan class=\"\"\u003e\u003c\/span\u003e\u003c\/span\u003e\u003c\/p\u003e\n\u003cp\u003e\u003cstrong\u003eBibliographic details:\u003c\/strong\u003e\u003cbr\u003eEditor: T. B. Steel Jr.\u003cbr\u003eTitle: \u003cem\u003eFormal Language Description Languages for Computer Programming\u003c\/em\u003e\u003cbr\u003eSubtitle: Proceedings of the IFIP Working Conference on Formal Language Description Languages\u003cbr\u003eConference: Vienna, Austria, September 15–18, 1964\u003cbr\u003ePublisher: North-Holland Publishing Company, Amsterdam\u003cbr\u003ePublication year: \u003cstrong\u003e1966\u003c\/strong\u003e\u003cbr\u003ePages: \u003cstrong\u003e330\u003c\/strong\u003e \u003cspan class=\"contents\"\u003e\u003cspan class=\"\"\u003e\u003c\/span\u003e\u003c\/span\u003e\u003c\/p\u003e\n\u003cp\u003e\u003cstrong\u003eCondition:\u003c\/strong\u003e\u003cbr\u003eVintage ex-library hardcover in good used condition. Tan cloth boards show age-related discoloration, light spotting and minor handling wear. Former library label remains on the lower spine, with additional institutional markings likely present internally. Spine lettering is considerably faded. Binding and interior appear intact, and pages shown are clean and well preserved. No dust jacket. See photographs for exact condition.\u003c\/p\u003e","brand":"Stemcell Science Shop","offers":[{"title":"Default Title","offer_id":43257950568546,"sku":"FO-5001","price":60.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1627\/0819\/files\/IMG_7608_d6b69f4e-fe9e-44e4-acc6-2bb06cc21849.jpg?v=1787786566","url":"https:\/\/www.beosadia.com\/en-mx\/products\/formal-language-description-languages-for-computer-programming-t-b-steel-jr-1966-early-computer-science-programming-language-theory","provider":"Osadia Concept Store","version":"1.0","type":"link"}