Programming languages (PLs), together with the corresponding tools (compilers, runtime support systems, linkers, libraries), are the key aspect of any software development. The characteristics and quality of languages and tools directly affect software development quality and its compliance with requirements. For these reasons, studies related to analysis of all aspects of the PL (such as general design, static and dynamic semantics, compilation and interpretation issues, and much more) have not only applicable nature, but also great fundamental importance.