Static software analyser tools use different levels of intermediate source code
representations that depend on the syntax and semantics of the language to be analysed …

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 …

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 …

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 …

In the era of the Internet there is a continuous demand for distributed systems which should
serve thousands of requests on a daily basis. But with this growing demand companies have …

Program analysis and transformation tools work on source code, which-as in the case of
Erlang-may contain macros and other preprocessor directives. Such preprocessor …

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 …