Towards Trustworthy Refactoring in Erlang

被引：6
|
作者：
Horpacsi, Daniel [1 ]
Koszegi, Judit [1 ]
Thompson, Simon [2 ]
机构：
[1] Eotvos Lorand Univ, Budapest, Hungary
[2] Univ Kent, Canterbury, Kent, England
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2016年 / 216期
基金：
欧盟地平线“2020”;
关键词：
D O I：
10.4204/EPTCS.216.5
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Tool-assisted refactoring transformations must be trustworthy if programmers are to be confident in applying them on arbitrarily extensive and complex code in order to improve style or efficiency. We propose a simple, high-level but rigorous, notation for defining refactoring transformations in Erlang, and show that this notation provides an extensible, verifiable and executable specification language for refactoring. To demonstrate the applicability of our approach, we show how to define and verify a number of example refactorings in the system.
引用
收藏
页码：83 / 103
页数：21
相关论文
共 50 条
  • [21] Towards Trustworthy Deep Learning
    Weng, Tsui-Wei
    [J]. THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 20, 2024, : 22682 - 22682
  • [22] Towards trustworthy kiosk computing
    Garriss, Scott
    Sailer, Reiner
    Caceres, Ramon
    van Doorn, Leendert
    Berger, Stefan
    Zhang, Xiaolan
    [J]. EIGHTH IEEE WORKSHOP ON MOBILE COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2007, : 41 - +
  • [23] Towards Online Profiling of Erlang Systems
    Slaski, Michal
    Turek, Wojciech
    [J]. ERLANG '19: PROCEEDINGS OF THE 18TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON ERLANG, 2019, : 13 - 17
  • [24] Towards an Erlang formula for multiclass networks
    Matthieu Jonckheere
    Jean Mairesse
    [J]. Queueing Systems, 2010, 66 : 53 - 78
  • [25] Towards a resource-safe Erlang
    Teller, David
    [J]. CTS 2007: PROCEEDINGS OF THE 2007 INTERNATIONAL SYMPOSIUM ON COLLABORATIVE TECHNOLOGIES AND SYSTEMS, 2007, : 66 - 71
  • [26] Towards Trustworthy Representation Learning
    Li, Sheng
    [J]. PROCEEDINGS OF THE 2023 SIAM INTERNATIONAL CONFERENCE ON DATA MINING, SDM, 2023, : 957 - 960
  • [27] Towards trustworthy dataset distillation
    Ma, Shijie
    Zhu, Fei
    Cheng, Zhen
    Zhang, Xu-Yao
    [J]. PATTERN RECOGNITION, 2025, 157
  • [28] Towards Transparent and Trustworthy Cloud
    Anisetti, Marco
    Ardagna, Claudio A.
    Damiani, Ernesto
    Mana, Antonio
    Spanoudakis, George
    [J]. IEEE CLOUD COMPUTING, 2017, 4 (03): : 40 - 48
  • [29] Towards Trustworthy Spatial Messaging
    Deriaz, Michel
    Seigneur, Jean-Marc
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 179 : 123 - 133
  • [30] Towards Trustworthy AI in Dentistry
    Ma, J.
    Schneider, L.
    Lapuschkin, S.
    Achtibat, R.
    Duchrau, M.
    Krois, J.
    Schwendicke, F.
    Samek, W.
    [J]. JOURNAL OF DENTAL RESEARCH, 2022, 101 (11) : 1263 - 1268
12345