This HTML5 document contains 19 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/
n13https://kar.kent.ac.uk/id/eprint/69298#
n2https://kar.kent.ac.uk/id/eprint/
wdrshttp://www.w3.org/2007/05/powder-s#
n4http://purl.org/ontology/bibo/status/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n14https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/
n9http://eprints.org/ontology/
n8https://kar.kent.ac.uk/id/event/
bibohttp://purl.org/ontology/bibo/
n12https://kar.kent.ac.uk/id/publication/
n19https://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/69298/
n17https://kar.kent.ac.uk/id/
xsdhhttp://www.w3.org/2001/XMLSchema#
n16doi:10.1145/
n11https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/
n18https://kar.kent.ac.uk/id/person/

Statements

Subject Item
n2:69298
rdf:type
bibo:AcademicArticle n9:ConferenceItemEPrint n9:EPrint bibo:Article
rdfs:seeAlso
n6:
owl:sameAs
n16:3239332.3242765
dcterms:title
Automatic detection of core Erlang message passing errors
wdrs:describedby
n11:export_kar_RDFN3.n3 n14:export_kar_RDFN3.n3
dcterms:date
2018-09-29
dcterms:creator
n18:ext-jrh53atkent.ac.uk
bibo:status
n4:nonPeerReviewed n4:published
dcterms:publisher
n19:ext-7d6b17de0dbc188be172630e71f8e835
bibo:abstract
Erlang's powerful communication model allows us to build high-level concurrent systems. These can, however, harbour subtle communication errors less severe than global deadlock or crashes: messages never received can degrade performance and consume swaths of memory. We believe that some of these errors can be quickly detected with static analysis. We have built a prototype tool which operates at the Core Erlang level to assist identification of some of these errors. We present a fragment of Erlang's type system as a subtyping relation, following up with type inference functions for a portion of Core Erlang's patterns, guards, and message syntax. The implementation of the prototype is detailed, noting specific behaviours of the Erlang compiler and nuances of Core Erlang's syntax along the way, some of which complicate our analysis. Although our tool is at a very early stage of development, we show examples of the errors we can identify, despite using a considerable over-approximation in our type inference system. After comparing our tool to other work in the Erlang community and beyond, we reflect on the current state of the prototype, before considering further applications of our concept of message compatibility.
dcterms:isPartOf
n12:ext-d7ea3ab92ed978f818d3fadaebaad5e4 n17:repository
bibo:authorList
n13:authors
bibo:presentedAt
n8:ext-e7d14f47b804e225aa91ee154ad7ea7b