About: ROTOR : A Tool for Renaming Values in OCaml's Module System

Not logged in : Login

(Sponging disallowed)

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

About: ROTOR : A Tool for Renaming Values in OCaml's Module System 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 #80338 ROTOR : A Tool for Renaming Values in OCaml's Module System
sameAs	ROTOR : A Tool for Renaming Values in OCaml's Module System
http://eprints.org/ontology/hasAccepted	ROTOR : A Tool for Renaming Values in OCaml's Module System (PDF)
http://eprints.org/ontology/hasDocument	ROTOR : A Tool for Renaming Values in OCaml's Module System (PDF) ROTOR : A Tool for Renaming Values in OCaml's Module System (Other) ROTOR : A Tool for Renaming Values in OCaml's Module System (Other) ROTOR : A Tool for Renaming Values in OCaml's Module System (Other) ROTOR : A Tool for Renaming Values in OCaml's Module System (Other) ROTOR : A Tool for Renaming Values in OCaml's Module System (Other)
dc:hasVersion	ROTOR : A Tool for Renaming Values in OCaml's Module System (PDF)
Title	ROTOR : A Tool for Renaming Values in OCaml's Module System
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-05-28
Creator	Hugo Férée Reuben N. S. Rowe Scott Owens Simon Thompson
status	peer reviewed published
Publisher	IEEE Press
abstract	The functional programming paradigm presents its own unique challenges to refactoring. For the OCaml language in particular, the expressiveness of its module system makes this a highly non-trivial task and there is currently no automated support for large-scale refactoring in the OCaml language. We present Rotor, a tool for automatically renaming top-level value definitions in OCaml's module system. To compute the effect of renaming, Rotor relies on a novel concept which we call a value extension. This is a collection of related declarations in a program that must all be renamed at once. In practice, this leads to a notion of dependency: renaming a function foo in module A (mutually) depends on renaming function foo in module B etc. We describe important aspects of Rotor's design, implementation, and evaluation on two large codebases: Jane Street's core library and its dependencies, and the OCaml compiler itself. In these real-world settings we find that some cases involve a surprisingly complex network of dependencies, and that the use of the PPX preprocessor system presents significant challenges.
Is Part Of	2019 IEEE/ACM 3rd International Workshop on Refactoring (IWoR) https://kar.kent.ac.uk/id/repository
Subject	QA 76 Software, computer programming,
list of authors	https://kar.kent.ac.uk/id/eprint/80338#authors
presented at	3rd International Workshop on Refactoring
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 #80338 ROTOR : A Tool for Renaming Values in OCaml's Module System

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