No Cover Image

Book chapter 751 views

“Difficult things are difficult to describe”: The role of formal semantics in European computer science, 1960–1980

Troy Astarte

Abstractions and Embodiments: New Histories of Computing and Society

Swansea University Author: Troy Astarte

Published in: Abstractions and Embodiments: New Histories of Computing and Society
ISBN: 9781421444376
Published: Johns Hopkins University Press 2022
Online Access: https://www.press.jhu.edu/books/title/12637/abstractions-and-embodiments
URI: https://cronfa.swan.ac.uk/Record/cronfa59428
first_indexed 2022-02-21T17:55:30Z
last_indexed 2024-11-14T12:15:28Z
id cronfa59428
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2024-07-25T13:35:39.9437116</datestamp><bib-version>v2</bib-version><id>59428</id><entry>2022-02-21</entry><title>&#x201C;Di&#xFB03;cult things are di&#xFB03;cult to describe&#x201D;: The role of formal semantics in European computer science, 1960&#x2013;1980</title><swanseaauthors><author><sid>e27e50656bd09f48772e6370ee7edae7</sid><firstname>Troy</firstname><surname>Astarte</surname><name>Troy Astarte</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2022-02-21</date><deptcode>MACS</deptcode><abstract/><type>Book chapter</type><journal>Abstractions and Embodiments: New Histories of Computing and Society</journal><volume/><journalNumber/><paginationStart/><paginationEnd/><publisher>Johns Hopkins University Press</publisher><placeOfPublication/><isbnPrint>9781421444376</isbnPrint><isbnElectronic/><issnPrint/><issnElectronic/><keywords>history of computer science, history of science, history of computing, formal semantics, programming languages</keywords><publishedDay>30</publishedDay><publishedMonth>8</publishedMonth><publishedYear>2022</publishedYear><publishedDate>2022-08-30</publishedDate><doi/><url>https://www.press.jhu.edu/books/title/12637/abstractions-and-embodiments</url><notes>https://www.press.jhu.edu/books/title/12637/abstractions-and-embodiments</notes><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2024-07-25T13:35:39.9437116</lastEdited><Created>2022-02-21T17:53:59.7524373</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Troy</firstname><surname>Astarte</surname><order>1</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2024-07-25T13:35:39.9437116 v2 59428 2022-02-21 “Difficult things are difficult to describe”: The role of formal semantics in European computer science, 1960–1980 e27e50656bd09f48772e6370ee7edae7 Troy Astarte Troy Astarte true false 2022-02-21 MACS Book chapter Abstractions and Embodiments: New Histories of Computing and Society Johns Hopkins University Press 9781421444376 history of computer science, history of science, history of computing, formal semantics, programming languages 30 8 2022 2022-08-30 https://www.press.jhu.edu/books/title/12637/abstractions-and-embodiments https://www.press.jhu.edu/books/title/12637/abstractions-and-embodiments COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2024-07-25T13:35:39.9437116 2022-02-21T17:53:59.7524373 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Troy Astarte 1
title “Difficult things are difficult to describe”: The role of formal semantics in European computer science, 1960–1980
spellingShingle “Difficult things are difficult to describe”: The role of formal semantics in European computer science, 1960–1980
Troy Astarte
title_short “Difficult things are difficult to describe”: The role of formal semantics in European computer science, 1960–1980
title_full “Difficult things are difficult to describe”: The role of formal semantics in European computer science, 1960–1980
title_fullStr “Difficult things are difficult to describe”: The role of formal semantics in European computer science, 1960–1980
title_full_unstemmed “Difficult things are difficult to describe”: The role of formal semantics in European computer science, 1960–1980
title_sort “Difficult things are difficult to describe”: The role of formal semantics in European computer science, 1960–1980
author_id_str_mv e27e50656bd09f48772e6370ee7edae7
author_id_fullname_str_mv e27e50656bd09f48772e6370ee7edae7_***_Troy Astarte
author Troy Astarte
author2 Troy Astarte
format Book chapter
container_title Abstractions and Embodiments: New Histories of Computing and Society
publishDate 2022
institution Swansea University
isbn 9781421444376
publisher Johns Hopkins University Press
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
url https://www.press.jhu.edu/books/title/12637/abstractions-and-embodiments
document_store_str 0
active_str 0
published_date 2022-08-30T08:16:12Z
_version_ 1821483227802501120
score 11.047935