A new architecture reconciling refactorings and transformations
Refactorings are behavior-preserving code transformations. They are a recommended
software development practice and are now a standard feature in modern IDEs. There are …
software development practice and are now a standard feature in modern IDEs. There are …
Refactoring tools for functional languages
S Thompson, H Li - Journal of Functional Programming, 2013 - cambridge.org
Refactoring is the process of changing the design of a program without changing what it
does. Typical refactorings, such as function extraction and generalisation, are intended to …
does. Typical refactorings, such as function extraction and generalisation, are intended to …
Impact analysis of Erlang programs using behaviour dependency graphs
During the lifetime of a software product certain changes could be performed on its source
code. After those changes a regression test should be performed, which is the most …
code. After those changes a regression test should be performed, which is the most …
[PDF][PDF] Journal of Computer Languages
B Šarenac, N Anquetil, S Ducasse… - Journal of Computer …, 2024 - rmod-files.lille.inria.fr
Refactorings are behavior-preserving code transformations. They are a recommended
software development practice and are now a standard feature in modern IDEs. There are …
software development practice and are now a standard feature in modern IDEs. There are …
Scaling reliably: Improving the scalability of the Erlang distributed actor platform
Distributed actor languages are an effective means of constructing scalable reliable
systems, and the Erlang programming language has a well-established and influential …
systems, and the Erlang programming language has a well-established and influential …
Automated module interface upgrade
L Lövei - Proceedings of the 8th ACM SIGPLAN workshop on …, 2009 - dl.acm.org
During the lifetime of a software product the interface of some used library modules might
change in such a way that the new interface is no longer compatible with the old one. This …
change in such a way that the new interface is no longer compatible with the old one. This …
Academic software development tools and techniques: Report on the 1st workshop WASDeTT at ECOOP 2008
The objective of the 1st International Workshop on Advanced Software Development Tools
and Techniques (WASDeTT-1) was to provide interested researchers with a forum to share …
and Techniques (WASDeTT-1) was to provide interested researchers with a forum to share …
Valierlang: A structural testing tool for erlang programs
Validation, verification and testing are essential and contribute to improve the quality of
programs, independent of the programming paradigm. In the context of functional language …
programs, independent of the programming paradigm. In the context of functional language …
[PDF][PDF] Erlang distributed actor platform. ACM Transactions on Programming Languages and Systems, 39 (4), 17.(doi: 10.1145/3107937) This is the author's final …
P Trinder - academia.edu
Distributed programming languages and frameworks are central to engineering large scale
systems, where key properties include scalability and reliability. By scalability we mean that …
systems, where key properties include scalability and reliability. By scalability we mean that …