This HTML5 document contains 31 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/
n17https://kar.kent.ac.uk/89480/
n2https://kar.kent.ac.uk/id/eprint/
wdrshttp://www.w3.org/2007/05/powder-s#
dchttp://purl.org/dc/elements/1.1/
n6http://purl.org/ontology/bibo/status/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n15https://kar.kent.ac.uk/id/subject/
n11https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/
n4http://eprints.org/ontology/
n7https://kar.kent.ac.uk/id/event/
bibohttp://purl.org/ontology/bibo/
n21https://kar.kent.ac.uk/id/org/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n14https://kar.kent.ac.uk/id/eprint/89480#
n9https://kar.kent.ac.uk/id/document/
n12https://kar.kent.ac.uk/id/
xsdhhttp://www.w3.org/2001/XMLSchema#
n20doi:10.1145/
n18https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/
n8https://kar.kent.ac.uk/id/person/

Statements

Subject Item
n2:89480
rdf:type
n4:EPrint bibo:Article n4:ConferenceItemEPrint bibo:AcademicArticle
rdfs:seeAlso
n17:
owl:sameAs
n20:3462172.3462200
n4:hasDocument
n9:3244969 n9:3245023 n9:3245024 n9:3244967 n9:3245025 n9:3245026
n4:hasPublished
n9:3244967
dc:hasVersion
n9:3244967
dcterms:title
Validating Formal Semantics by Property-Based Cross-Testing
wdrs:describedby
n11:export_kar_RDFN3.n3 n18:export_kar_RDFN3.n3
dcterms:date
2021-07-27
dcterms:creator
n8:ext-df2cd68f7a0ca3dfdd08471fdacce085 n8:ext-6fc6b2c603106c5763777748101f6243 n8:ext-s.j.thompson@kent.ac.uk n8:ext-54ff17642e9ce627501deb0ddcd490a9 n8:ext-7b609bf1068d015dbd77dd3b191f33fd
bibo:status
n6:peerReviewed n6:published
dcterms:publisher
n21:ext-2af1883e4bbfa0356fcedb366171cb38
bibo:abstract
To describe the behaviour of programs in a programming language we can define a formal semantics for the language, and formalise it in a proof assistant. From this semantics we can derive the behaviour of each particular program in the language. But there remains the question of validating the formal semantics: have we got the formalisation right? Our approach is to use property-based cross-testing of formal semantics, which is based on the combination of a number of existing approaches to validation. In particular, we give a concrete implementation of our ideas for a set of formalisations of Erlang and Core Erlang. We describe the adjustments that need to be made to execute these seman- tics, then we present and evaluate property-based testing in the context of cross-checking semantics, including random program generation and counterexample shrinking.
dcterms:isPartOf
n12:repository
dcterms:subject
n15:QA75
bibo:authorList
n14:authors
bibo:presentedAt
n7:ext-15ad7876526e3fc3a01b6aad136b1272