Skip to main content

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

Rowe, Reuben, Férée, Hugo, Thompson, Simon, Owens, Scott (2019) Characterising Renaming within OCaml’s Module System: Theory and Implementation. In: PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI '19: ACM SIGPLAN Conference on Programming Language Design and Implementation Proceedings. . pp. 950-965. ACM, ACM New York, NY, USA ©2019 ISBN 978-1-4503-6712-7. (doi:10.1145/3314221.3314600) (KAR id:73526)

PDF Author's Accepted Manuscript
Language: English
Download (481kB) Preview
[thumbnail of paper (1).pdf]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL
https://doi.org/10.1145/3314221.3314600

Abstract

We present an abstract, set-theoretic denotational semantics

in order to reason about the correctness of renaming value

the binding structure of programs. Crucially for renaming, it

declarations that is induced by the use of various different

preserve this structure. We demonstrate that our semantics

of renamings. We also show that it is sound with respect to

behaviour of programs. This formal framework has been

performs renaming

Item Type: Conference or workshop item (Proceeding)
DOI/Identification number: 10.1145/3314221.3314600
Uncontrolled keywords: Adequacy, denotational semantics, dependencies, modules, module types, OCaml, refactoring, renaming, static semantics
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Reuben Rowe
Date Deposited: 17 Apr 2019 15:34 UTC
Last Modified: 16 Feb 2021 14:03 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/73526 (The current URI for this page, for reference purposes)
Rowe, Reuben: https://orcid.org/0000-0002-4271-9078
Thompson, Simon: https://orcid.org/0000-0002-2350-301X
Owens, Scott: https://orcid.org/0000-0002-7437-4780
  • Depositors only (login required):

Downloads

Downloads per month over past year