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 …

Extending erlang by utilising refactorerl

D Horpácsi - Proceedings of the twelfth ACM SIGPLAN workshop on …, 2013 - dl.acm.org
In this paper, we present the idea of utilising a refactoring tool for implementing extensions
to a programming language. We elaborate the correspondence between the main …

[PDF][PDF] Transforming Erlang finite state machines

D Lukács, M Tóth, I Bozó - CEUR Workshop Proceedings, 2018 - ceur-ws.org
Abstract Model driven development approaches help to alleviate the abstraction gap
between high-level design and actual implementation, to aid design, development and …

Static analysis for safe software upgrade

D Ferenczi, M Tóth - Annales Mathematicae et Informaticae, 2023 - real.mtak.hu
Having applications accessible without downtime is no longer an exclusive requirement of
mission-critical applications or traditional domains like communications. Running …

[PDF][PDF] GVIEW: VISUALISING SOFTWARE DEPENDENCIES IN ORDER TO SUPPORT CODE COMPREHENSION

I Bozó, M Komáromi, M Tóth - ac.inf.elte.hu
It is always a great challenge to maintain industrial-scale software. It requires a full
understanding and awareness of the different components and their connections to avoid …

[PDF][PDF] Verification and Application of Program Transformations

D Horpácsi - 2018 - core.ac.uk
Introduction łA programming language is low level when its programs require attention to the
irrelevant. ž (Alan J. Perlis) As a bachelor student, I learned from my future doctoral …

[PDF][PDF] Visualising software dependencies to support code comprehension Gview

M Komáromi - frontier711.com
It is always a great challenge to maintain industrial scale software. It requires to fully
understand and be aware of the different components and their connections to avoid …

TRANSLATING ERLANG STATE MACHINES TO UML USING TRIPLE GRAPH GRAMMARS

D Lukács, T Melinda - Studia Universitatis Babeș-Bolyai …, 2018 - 193.231.18.162
In this paper, we present a method that transforms event driven Erlang state machines into
high-level state machine models represented in UML. We formalized the transformation …

[PDF][PDF] Benefits of implementing a query language in purely functional style

A Poór, I Bozó, T Kozsik, G Páli, M Tóth - ceur-ws.org
Software maintenance can be significantly facilitated with a source code analyser tool. Such
a tool is even more powerful, if it provides a fullfledged query language to express queries …

[引用][C] Erlang állapotgépek modell alapú transzformációja UML-re

D Lukács - 2016