About: Subtype polymorphism à la carte via machine learning on dependent types

Not logged in : Login

(Sponging disallowed)

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

About: Subtype polymorphism à la carte via machine learning on dependent types 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 #73791 Subtype polymorphism à la carte via machine learning on dependent types
sameAs	Subtype polymorphism à la carte via machine learning on dependent types
http://eprints.org/ontology/hasAccepted	Subtype polymorphism à la carte via machine learning on dependent types (PDF)
http://eprints.org/ontology/hasDocument	Subtype polymorphism à la carte via machine learning on dependent types (PDF) Subtype polymorphism à la carte via machine learning on dependent types (Other) Subtype polymorphism à la carte via machine learning on dependent types (PDF) Subtype polymorphism à la carte via machine learning on dependent types (Other) Subtype polymorphism à la carte via machine learning on dependent types (Other) Subtype polymorphism à la carte via machine learning on dependent types (Other) Subtype polymorphism à la carte via machine learning on dependent types (Other) Subtype polymorphism à la carte via machine learning on dependent types (Other) Subtype polymorphism à la carte via machine learning on dependent types (Other) Subtype polymorphism à la carte via machine learning on dependent types (Other) Subtype polymorphism à la carte via machine learning on dependent types (Other) Subtype polymorphism à la carte via machine learning on dependent types (Other)
http://eprints.org/ontology/hasPublished	Subtype polymorphism à la carte via machine learning on dependent types (PDF)
dc:hasVersion	Subtype polymorphism à la carte via machine learning on dependent types (PDF) Subtype polymorphism à la carte via machine learning on dependent types (PDF)
Title	Subtype polymorphism à la carte via machine learning on dependent types
described by	https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3
Date	2018-07-16
Creator	Jerry Swan Edwin C. Brady Colin G. Johnson
status	peer reviewed published
Publisher	ACM
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.
Is Part Of	https://kar.kent.ac.uk/id/repository
list of authors	https://kar.kent.ac.uk/id/eprint/73791#authors
presented at	ISSTA '18 Companion Proceedings for the ISSTA/ECOOP 2018 Workshops
is topic of	https://www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3
is primary topic of	HTML Summary of #73791 Subtype polymorphism à la carte via machine learning on dependent types

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