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

Statements

Subject Item
n2:73791
rdf:type
n7:EPrint n7:ConferenceItemEPrint bibo:Article bibo:AcademicArticle
rdfs:seeAlso
n14:
owl:sameAs
n17:3236454.3236469
n7:hasAccepted
n8:3176163
n7:hasDocument
n8:3176140 n8:3176166 n8:3176167 n8:3176168 n8:3176228 n8:3176145 n8:3176163 n8:3176164 n8:3176165 n8:3176229 n8:3176230 n8:3176231
n7:hasPublished
n8:3176140
dc:hasVersion
n8:3176140 n8:3176163
dcterms:title
Subtype polymorphism à la carte via machine learning on dependent types
wdrs:describedby
n6:export_kar_RDFN3.n3 n18:export_kar_RDFN3.n3
dcterms:date
2018-07-16
dcterms:creator
n4:ext-077317ffdcb931c57511241276f9b6a8 n4:ext-8506bb484ba156ef2e88bca50693e004 n4:ext-c.g.johnson@kent.ac.uk
bibo:status
n12:peerReviewed n12:published
dcterms:publisher
n15:ext-2af1883e4bbfa0356fcedb366171cb38
bibo:abstract
The essential rationale for subtype polymorphism is adherence to the 'Open/Closed Principle' [12]: the ability to write framework code in terms of superclasses and subsequently invoke it with any subclass that exhibits 'proper subtyping' via the Liskov Substitution Principle (LSP) [11]. Formally, the LSP states that if ø(t : T) is a provable property of objects t of type T, then ø(s) should be true for objects s of subtype S of T. In practice, such properties have typically been those expressible via 'Design by Contract' [12], specifically preconditions, postconditions and invariants. Such abstraction via subtype polymorphism is intended to insulate against requirements change. However, when new requirements do necessitate a change of contract, the maintenance consequences can be severe. In the (typical) absence of explicit language or tool support, enforcement of proper subtyping is laborious and error-prone: contractual changes typically require manual inspection/repair of the class hierarchy to determine/address violations of the LSP.
dcterms:isPartOf
n20:repository
bibo:authorList
n19:authors
bibo:presentedAt
n11:ext-8a7da0f7d2daa3a027f80ef6075f4072