The Program Composing Assistant is an interactive generic development environment dedicated to programming languages. It provides a structure editor with graphical user interface a...
Several approaches to program comprehension have been proposed along the years, ranging from fact extraction to sophisticated visualization tools. In order to effectively assess t...
rules at a lower level of abstraction from the technology than that aimed at herein.. I assume that my readers are familiar with the basic ideas of patterns and with the difference...
Abstract. Several residuated algebras are taken into account. The set of axioms defining each structure is reduced with the aim to obtain an independent axiomatization. Further, th...
Abstract. The aim of this paper is to demonstrate that the techniques of Computer Aided Geometric Design such as spatial rational curves and surfaces could be applied to Kinematics...