No Cover Image

Book chapter 607 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
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2022-02-21T17:55:30Z
last_indexed 2022-04-28T03:31:34Z
id cronfa59428
recordtype SURis
fullrecord <?xml version="1.0" encoding="utf-8"?><rfc1807 xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema"><bib-version>v2</bib-version><id>59428</id><entry>2022-02-21</entry><title>“Difficult things are difficult to describe”: The role of formal semantics in European computer science, 1960–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>SCS</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>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2024-04-15T16:51:09.8905759</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 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 SCS 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 Computer Science COLLEGE CODE SCS Swansea University 2024-04-15T16:51:09.8905759 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-30T16:51:06Z
_version_ 1796416487922073600
score 11.012678