This HTML5 document contains 30 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n16https://kar.kent.ac.uk/82515/
n2https://kar.kent.ac.uk/id/eprint/
wdrshttp://www.w3.org/2007/05/powder-s#
dchttp://purl.org/dc/elements/1.1/
n13http://purl.org/ontology/bibo/status/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n8https://kar.kent.ac.uk/id/subject/
n10https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/
n11http://eprints.org/ontology/
n12https://kar.kent.ac.uk/id/event/
n20https://kar.kent.ac.uk/id/eprint/82515#
bibohttp://purl.org/ontology/bibo/
n4https://kar.kent.ac.uk/id/org/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n6https://kar.kent.ac.uk/id/
n14https://kar.kent.ac.uk/id/document/
xsdhhttp://www.w3.org/2001/XMLSchema#
n19doi:10.1145/
n17https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/
n7https://kar.kent.ac.uk/id/person/

Statements

Subject Item
n2:82515
rdf:type
bibo:Article n11:EPrint n11:BookSectionEPrint bibo:BookSection
rdfs:seeAlso
n16:
owl:sameAs
n19:3406085.3409008
n11:hasAccepted
n14:3214550
n11:hasDocument
n14:3214604 n14:3214550 n14:3214605 n14:3214556 n14:3214602 n14:3214603
dc:hasVersion
n14:3214550
dcterms:title
Machine-checked natural semantics for Core Erlang: exceptions and side effects
wdrs:describedby
n10:export_kar_RDFN3.n3 n17:export_kar_RDFN3.n3
dcterms:date
2020-08-19
dcterms:creator
n7:ext-bea62aa8ac34ca82b30ec7d09813acdd n7:ext-70d5e8a1f9600ebab84f7e2ca0d5012f n7:ext-s.j.thompson@kent.ac.uk
bibo:status
n13:peerReviewed n13:published
dcterms:publisher
n4:ext-2af1883e4bbfa0356fcedb366171cb38
bibo:abstract
This research is part of a wider project that aims to investigate and reason about the correctness of scheme-based source code transformations of Erlang programs. In order to formally reason about the definition of a programming language and the software built using it, we need a mathematically rigorous description of that language. In this paper, we present an extended natural semantics for Core Erlang based on our previous formalisation implemented with the Coq Proof Assistant. This extension includes the concepts of exceptions and side effects, moreover, some modifications and updates are also discussed. Then we describe theorems about the properties of this formalisation (e.g. determinism), formal expression evaluation and equivalence examples. These equivalences can be interpreted as simple local refactorings.
dcterms:isPartOf
n6:repository
dcterms:subject
n8:QA76.76 n8:QA76
bibo:authorList
n20:authors
bibo:presentedAt
n12:ext-8fefe86e512789351edd9bf491b14fde