About: Machine-checked natural semantics for Core Erlang: exceptions and side effects

Not logged in : Login

(Sponging disallowed)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Machine-checked natural semantics for Core Erlang: exceptions and side effects Goto Sponge NotDistinct Permalink

An Entity of Type : bibo:BookSection, within Data Space : linkeddata.uriburner.com:28898 associated with source document(s)

Attributes	Values
type	http://eprints.org/ontology/BookSectionEPrint http://eprints.org/ontology/EPrint Article Book Section
seeAlso	HTML Summary of #82515 Machine-checked natural semantics for Core Erlang: exceptions and side effects
sameAs	Machine-checked natural semantics for Core Erlang: exceptions and side effects
http://eprints.org/ontology/hasAccepted	Machine-checked natural semantics for Core Erlang: exceptions and side effects (PDF)
http://eprints.org/ontology/hasDocument	Machine-checked natural semantics for Core Erlang: exceptions and side effects (PDF) Machine-checked natural semantics for Core Erlang: exceptions and side effects (Other) Machine-checked natural semantics for Core Erlang: exceptions and side effects (Other) Machine-checked natural semantics for Core Erlang: exceptions and side effects (Other) Machine-checked natural semantics for Core Erlang: exceptions and side effects (Other) Machine-checked natural semantics for Core Erlang: exceptions and side effects (Other)
dc:hasVersion	Machine-checked natural semantics for Core Erlang: exceptions and side effects (PDF)
Title	Machine-checked natural semantics for Core Erlang: exceptions and side effects
described by	https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3 https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
Date	2020-08-19
Creator	Péter Bereczky Dániel Horpácsi Simon Thompson
status	peer reviewed published
Publisher	ACM
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.
Is Part Of	https://kar.kent.ac.uk/id/repository
Subject	QA 76 Software, computer programming, QA76.76 Computer software
list of authors	https://kar.kent.ac.uk/id/eprint/82515#authors
presented at	19th ACM SIGPLAN International Workshop on Erlang
is topic of	https://www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3 https://raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
is primary topic of	HTML Summary of #82515 Machine-checked natural semantics for Core Erlang: exceptions and side effects

Faceted Search & Find service v1.17_git144 as of Jul 26 2024

Alternative Linked Data Documents: iSPARQL | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3331 as of Aug 25 2024, on Linux (x86_64-ubuntu_noble-linux-glibc2.38-64), Single-Server Edition (378 GB total memory, 36 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software