Book chapter 526 views
Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context
Troy Astarte,
Cliff B. Jones
Philosophical Studies Series, Pages: 83 - 152
Swansea University Author: Troy Astarte
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1007/978-3-319-97226-8_4
Abstract
Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context
| Published in: | Philosophical Studies Series |
|---|---|
| ISBN: | 9783319972251 9783319972268 |
| ISSN: | 0921-8599 2542-8349 |
| Published: |
Cham
Springer International Publishing
2019
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa59375 |
| first_indexed |
2022-02-11T09:52:21Z |
|---|---|
| last_indexed |
2022-03-04T04:28:32Z |
| id |
cronfa59375 |
| recordtype |
SURis |
| fullrecord |
<?xml version="1.0"?><rfc1807><datestamp>2022-03-03T13:13:53.2471416</datestamp><bib-version>v2</bib-version><id>59375</id><entry>2022-02-11</entry><title>Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context</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-11</date><deptcode>MACS</deptcode><abstract/><type>Book chapter</type><journal>Philosophical Studies Series</journal><volume/><journalNumber/><paginationStart>83</paginationStart><paginationEnd>152</paginationEnd><publisher>Springer International Publishing</publisher><placeOfPublication>Cham</placeOfPublication><isbnPrint>9783319972251</isbnPrint><isbnElectronic>9783319972268</isbnElectronic><issnPrint>0921-8599</issnPrint><issnElectronic>2542-8349</issnElectronic><keywords>Programming languages; Semantic description; Operational semantics; Denotational semantics</keywords><publishedDay>11</publishedDay><publishedMonth>1</publishedMonth><publishedYear>2019</publishedYear><publishedDate>2019-01-11</publishedDate><doi>10.1007/978-3-319-97226-8_4</doi><url/><notes/><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2022-03-03T13:13:53.2471416</lastEdited><Created>2022-02-11T09:24:28.9830545</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><author><firstname>Cliff B.</firstname><surname>Jones</surname><order>2</order></author></authors><documents/><OutputDurs/></rfc1807> |
| spelling |
2022-03-03T13:13:53.2471416 v2 59375 2022-02-11 Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context e27e50656bd09f48772e6370ee7edae7 Troy Astarte Troy Astarte true false 2022-02-11 MACS Book chapter Philosophical Studies Series 83 152 Springer International Publishing Cham 9783319972251 9783319972268 0921-8599 2542-8349 Programming languages; Semantic description; Operational semantics; Denotational semantics 11 1 2019 2019-01-11 10.1007/978-3-319-97226-8_4 COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2022-03-03T13:13:53.2471416 2022-02-11T09:24:28.9830545 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Troy Astarte 1 Cliff B. Jones 2 |
| title |
Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context |
| spellingShingle |
Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context Troy Astarte |
| title_short |
Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context |
| title_full |
Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context |
| title_fullStr |
Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context |
| title_full_unstemmed |
Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context |
| title_sort |
Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context |
| author_id_str_mv |
e27e50656bd09f48772e6370ee7edae7 |
| author_id_fullname_str_mv |
e27e50656bd09f48772e6370ee7edae7_***_Troy Astarte |
| author |
Troy Astarte |
| author2 |
Troy Astarte Cliff B. Jones |
| format |
Book chapter |
| container_title |
Philosophical Studies Series |
| container_start_page |
83 |
| publishDate |
2019 |
| institution |
Swansea University |
| isbn |
9783319972251 9783319972268 |
| issn |
0921-8599 2542-8349 |
| doi_str_mv |
10.1007/978-3-319-97226-8_4 |
| publisher |
Springer International Publishing |
| 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 |
| document_store_str |
0 |
| active_str |
0 |
| published_date |
2019-01-11T08:16:02Z |
| _version_ |
1821483217531699200 |
| score |
11.0479555 |