Toward recursion aware complexity metrics
Context: Software developers spend a significant amount of time on reading,
comprehending, and debugging of source code. Numerous software metrics can give us …
comprehending, and debugging of source code. Numerous software metrics can give us …
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 …
Free the Conqueror! Refactoring divide-and-conquer functions
Divide-and-conquer algorithms appear in the solution of many computationally intensive
problems, and are good candidates for parallelization. A divide-and-conquer computation …
problems, and are good candidates for parallelization. A divide-and-conquer computation …
Identifying Client-Server Behaviours in Legacy Erlang Systems.
Z Erdei, M Tóth, I Bozó - Acta Cybernetica, 2024 - search.ebscohost.com
In Erlang, behaviours are special forms of design patterns. There are many benefits to using
behaviours. For example, behaviours can help abstract away the most common parts when …
behaviours. For example, behaviours can help abstract away the most common parts when …
[PDF][PDF] Static Analysis Based Support for Program Comprehension in Erlang
Program comprehension is important process in software maintenance, considering the
lifetime of an industrial software. The first task for a developer is to understand the structure …
lifetime of an industrial software. The first task for a developer is to understand the structure …
Supporting Secure Coding for Erlang
M Tóth, I Bozó - Proceedings of the 39th ACM/SIGAPP Symposium on …, 2024 - dl.acm.org
Software developer/operator companies have to face growing cyber threats. Secure coding
is a development process resulting in software products that resist cyber-attacks. Although …
is a development process resulting in software products that resist cyber-attacks. Although …
An efficient graph visualisation framework for refactorerl
Graph visualisation is a well-known and researched field of graphical informatics. Several
good algorithms were developed and reviewed by our days. However, most of the graph …
good algorithms were developed and reviewed by our days. However, most of the graph …
Safe Process State Upgrades Through Static Analysis
D Ferenczi, M Tóth - 2024 IEEE 18th International Symposium …, 2024 - ieeexplore.ieee.org
Hot code loading allows changing the server code without any noticeable effects for clients.
It is an integral part of the Erlang language and the BEAM runtime. Handling code change …
It is an integral part of the Erlang language and the BEAM runtime. Handling code change …
Transforming Erlang Server Applications
Z Erdei, I Bozó, M Tóth - 2024 IEEE 3rd Conference on …, 2024 - ieeexplore.ieee.org
In Erlang, behaviours serve as specialized design patterns, offering numerous advantages.
For example, they allow us to abstract common components when addressing similar …
For example, they allow us to abstract common components when addressing similar …
Detecting and visualising process relationships in Erlang
Static software analyser tools can help in program comprehension by detecting relations
among program parts. Detecting relations among the concurrent program parts, eg relations …
among program parts. Detecting relations among the concurrent program parts, eg relations …