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
|
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: | ![]() |
Thompson, Simon: | ![]() |
Owens, Scott: | ![]() |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):