No Cover Image

Journal article 977 views

VDM semantics of programming languages: combinators and monads

Peter Mosses Orcid Logo

Formal Aspects of Computing, Volume: 23, Issue: 2, Pages: 221 - 238

Swansea University Author: Peter Mosses Orcid Logo

Full text not available from this repository: check for access using links below.

Check full text

DOI (Published version): 10.1007/s00165-009-0145-4

Abstract

The Vienna Development Method (VDM) was developed in the early 1970s as a variant of denotational semantics. VDM descriptions of programming languages differ from the original Scott–Strachey style by making extensive use of combinators which have a fixed operational interpretation. After recalling th...

Full description

Published in: Formal Aspects of Computing
ISSN: 0934-5043
Published: 2010
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa5290
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2013-07-23T11:52:11Z
last_indexed 2018-02-09T04:31:28Z
id cronfa5290
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2015-04-22T13:30:44.4172588</datestamp><bib-version>v2</bib-version><id>5290</id><entry>2012-02-23</entry><title>VDM semantics of programming languages: combinators and monads</title><swanseaauthors><author><sid>3f13b8ec315845c81d371f41e772399c</sid><ORCID>0000-0002-5826-7520</ORCID><firstname>Peter</firstname><surname>Mosses</surname><name>Peter Mosses</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2012-02-23</date><deptcode>FGSEN</deptcode><abstract>The Vienna Development Method (VDM) was developed in the early 1970s as a variant of denotational semantics. VDM descriptions of programming languages differ from the original Scott&#x2013;Strachey style by making extensive use of combinators which have a &#xFB01;xed operational interpretation. After recalling the main features of denotational semantics and the Scott&#x2013;Strachey style, we examine the combinators of the VDM speci&#xFB01;cation language, and relate them to monads, which were introduced more than 15 years later. We also suggest that use of further monadic combinators in VDM could be bene&#xFB01;cial. Finally, we provide an overview of published VDM semantic descriptions of major programming languages.</abstract><type>Journal Article</type><journal>Formal Aspects of Computing</journal><volume>23</volume><journalNumber>2</journalNumber><paginationStart>221</paginationStart><paginationEnd>238</paginationEnd><publisher/><issnPrint>0934-5043</issnPrint><issnElectronic/><keywords/><publishedDay>15</publishedDay><publishedMonth>1</publishedMonth><publishedYear>2010</publishedYear><publishedDate>2010-01-15</publishedDate><doi>10.1007/s00165-009-0145-4</doi><url/><notes></notes><college>COLLEGE NANME</college><department>Science and Engineering - Faculty</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>FGSEN</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2015-04-22T13:30:44.4172588</lastEdited><Created>2012-02-23T17:02:03.0000000</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>Peter</firstname><surname>Mosses</surname><orcid>0000-0002-5826-7520</orcid><order>1</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2015-04-22T13:30:44.4172588 v2 5290 2012-02-23 VDM semantics of programming languages: combinators and monads 3f13b8ec315845c81d371f41e772399c 0000-0002-5826-7520 Peter Mosses Peter Mosses true false 2012-02-23 FGSEN The Vienna Development Method (VDM) was developed in the early 1970s as a variant of denotational semantics. VDM descriptions of programming languages differ from the original Scott–Strachey style by making extensive use of combinators which have a fixed operational interpretation. After recalling the main features of denotational semantics and the Scott–Strachey style, we examine the combinators of the VDM specification language, and relate them to monads, which were introduced more than 15 years later. We also suggest that use of further monadic combinators in VDM could be beneficial. Finally, we provide an overview of published VDM semantic descriptions of major programming languages. Journal Article Formal Aspects of Computing 23 2 221 238 0934-5043 15 1 2010 2010-01-15 10.1007/s00165-009-0145-4 COLLEGE NANME Science and Engineering - Faculty COLLEGE CODE FGSEN Swansea University 2015-04-22T13:30:44.4172588 2012-02-23T17:02:03.0000000 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Peter Mosses 0000-0002-5826-7520 1
title VDM semantics of programming languages: combinators and monads
spellingShingle VDM semantics of programming languages: combinators and monads
Peter Mosses
title_short VDM semantics of programming languages: combinators and monads
title_full VDM semantics of programming languages: combinators and monads
title_fullStr VDM semantics of programming languages: combinators and monads
title_full_unstemmed VDM semantics of programming languages: combinators and monads
title_sort VDM semantics of programming languages: combinators and monads
author_id_str_mv 3f13b8ec315845c81d371f41e772399c
author_id_fullname_str_mv 3f13b8ec315845c81d371f41e772399c_***_Peter Mosses
author Peter Mosses
author2 Peter Mosses
format Journal article
container_title Formal Aspects of Computing
container_volume 23
container_issue 2
container_start_page 221
publishDate 2010
institution Swansea University
issn 0934-5043
doi_str_mv 10.1007/s00165-009-0145-4
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
description The Vienna Development Method (VDM) was developed in the early 1970s as a variant of denotational semantics. VDM descriptions of programming languages differ from the original Scott–Strachey style by making extensive use of combinators which have a fixed operational interpretation. After recalling the main features of denotational semantics and the Scott–Strachey style, we examine the combinators of the VDM specification language, and relate them to monads, which were introduced more than 15 years later. We also suggest that use of further monadic combinators in VDM could be beneficial. Finally, we provide an overview of published VDM semantic descriptions of major programming languages.
published_date 2010-01-15T03:06:20Z
_version_ 1763749690519584768
score 11.01409

Similar Items