About: Validating Formal Semantics by Property-Based Cross-Testing

Not logged in : Login

(Sponging disallowed)

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

About: Validating Formal Semantics by Property-Based Cross-Testing Goto Sponge NotDistinct Permalink

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

Attributes	Values
type	http://eprints.org/ontology/ConferenceItemEPrint http://eprints.org/ontology/EPrint Article Academic Article
seeAlso	HTML Summary of #89480 Validating Formal Semantics by Property-Based Cross-Testing
sameAs	Validating Formal Semantics by Property-Based Cross-Testing
http://eprints.org/ontology/hasDocument	Validating Formal Semantics by Property-Based Cross-Testing (PDF) Validating Formal Semantics by Property-Based Cross-Testing (Other) Validating Formal Semantics by Property-Based Cross-Testing (Other) Validating Formal Semantics by Property-Based Cross-Testing (Other) Validating Formal Semantics by Property-Based Cross-Testing (Other) Validating Formal Semantics by Property-Based Cross-Testing (Other)
http://eprints.org/ontology/hasPublished	Validating Formal Semantics by Property-Based Cross-Testing (PDF)
dc:hasVersion	Validating Formal Semantics by Property-Based Cross-Testing (PDF)
Title	Validating Formal Semantics by Property-Based Cross-Testing
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	2021-07-27
Creator	Soma Szeier Péter Bereczky Judit K?szegi Dániel Horpácsi Simon Thompson
status	peer reviewed published
Publisher	ACM
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.
Is Part Of	https://kar.kent.ac.uk/id/repository
Subject	QA 75 Electronic computers. Computer science
list of authors	https://kar.kent.ac.uk/id/eprint/89480#authors
presented at	32nd Symposium on Implementation and Application of Functional Languages (IFL ’20)
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 #89480 Validating Formal Semantics by Property-Based Cross-Testing

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, 37 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software