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 Distinct 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/ConferenceItemEPrint http://eprints.org/ontology/EPrint http://eprints.org/ontology/EPrint Article Article Academic Article Academic Article
seeAlso	HTML Summary of #71461 Subtype Polymorphism à la carte via Machine Learning on Dependent Types HTML Summary of #71461 Subtype Polymorphism à la carte via Machine Learning on Dependent Types
sameAs	Subtype Polymorphism à la carte via Machine Learning on Dependent Types 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) 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 (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) Subtype Polymorphism à la carte via Machine Learning on Dependent Types (Other)
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 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 https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
Date	2018-07-18 2018-07-18
Creator	Colin G. Johnson Colin G. Johnson Jerry Swan Jerry Swan Brady Edwin Brady Edwin
status	peer reviewed peer reviewed published published
Publisher	ACM ACM
abstract	The ability to write 'closed' frameworks in terms of abstract supertypes and subsequently extend them via contractually-conforming subtypes is a ubiquitous programming paradigm (e.g. underpinning Object-Orientation). While the motivation for such abstraction is to insulate against requirements change, any change of contract requires extensive (typically manual) refactoring, potentially throughout the entire class hierarchy. As an alternative to defining such abstractions a priori, we describe the broad role that Machine Learning can play in inducing abstractions from a pre-existing codebase. Concrete examples are given in which contacts are enforced by dependent types in the Idris language. The ability to write 'closed' frameworks in terms of abstract supertypes and subsequently extend them via contractually-conforming subtypes is a ubiquitous programming paradigm (e.g. underpinning Object-Orientation). While the motivation for such abstraction is to insulate against requirements change, any change of contract requires extensive (typically manual) refactoring, potentially throughout the entire class hierarchy. As an alternative to defining such abstractions a priori, we describe the broad role that Machine Learning can play in inducing abstractions from a pre-existing codebase. Concrete examples are given in which contacts are enforced by dependent types in the Idris language.
Is Part Of	ML4PL ML4PL https://kar.kent.ac.uk/id/repository https://kar.kent.ac.uk/id/repository
Subject	QA 76 Software, computer programming, QA 76 Software, computer programming,
list of authors	https://kar.kent.ac.uk/id/eprint/71461#authors https://kar.kent.ac.uk/id/eprint/71461#authors
presented at	2nd International Workshop on Machine Learning Techniques for Programming Languages 2nd International Workshop on Machine Learning Techniques for Programming Languages
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 #71461 Subtype Polymorphism à la carte via Machine Learning on Dependent Types HTML Summary of #71461 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