About: Characterising Renaming within OCaml’s Module System: Theory and Implementation

Not logged in : Login

(Sponging disallowed)

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

About: Characterising Renaming within OCaml’s Module System: Theory and Implementation 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/EPrint Article Academic Article
seeAlso	HTML Summary of #73526 Characterising Renaming within OCaml’s Module System: Theory and Implementation
sameAs	Characterising Renaming within OCaml’s Module System: Theory and Implementation
http://eprints.org/ontology/hasAccepted	Characterising Renaming within OCaml’s Module System: Theory and Implementation (PDF)
http://eprints.org/ontology/hasDocument	Characterising Renaming within OCaml’s Module System: Theory and Implementation (PDF) Characterising Renaming within OCaml’s Module System: Theory and Implementation (Other) Characterising Renaming within OCaml’s Module System: Theory and Implementation (Other) Characterising Renaming within OCaml’s Module System: Theory and Implementation (Other) Characterising Renaming within OCaml’s Module System: Theory and Implementation (Other) Characterising Renaming within OCaml’s Module System: Theory and Implementation (Other)
dc:hasVersion	Characterising Renaming within OCaml’s Module System: Theory and Implementation (PDF)
Title	Characterising Renaming within OCaml’s Module System: Theory and Implementation
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	2019-06-08
Creator	Hugo Férée Reuben N. S. Rowe Scott Owens Simon Thompson
status	peer reviewed published
Publisher	ACM
abstract	We present an abstract, set-theoretic denotational semantics for a significant subset of OCaml and its module system in order to reason about the correctness of renaming value bindings. Our abstract semantics captures information about the binding structure of programs. Crucially for renaming, it also captures information about the relatedness of different declarations that is induced by the use of various different language constructs (e.g. functors, module types and module constraints). Correct renamings are precisely those that preserve this structure. We demonstrate that our semantics allows us to prove various high-level, intuitive properties of renamings. We also show that it is sound with respect to a (domain-theoretic) denotational model of the operational behaviour of programs. This formal framework has been implemented in a prototype refactoring tool for OCaml that performs renaming
Is Part Of	PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation https://kar.kent.ac.uk/id/repository
Subject	QA 76 Software, computer programming,
list of authors	https://kar.kent.ac.uk/id/eprint/73526#authors
presented at	PLDI '19: ACM SIGPLAN Conference on Programming Language Design and Implementation
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 #73526 Characterising Renaming within OCaml’s Module System: Theory and Implementation

Faceted Search & Find service v1.17_git149 as of Dec 03 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, 44 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software