This Library is designed to be a comprehenseive mathematical library for Java, designed for scientific computing and other mathematically-derived projects. Built with flexibility in mind, modules are ...

Implementation of an interactive interpreter for the calculus Featherweight Java. The tests have been written exploiting a framework for unit testing of the Bash language which is called Bats. This ...

Abstract: This paper presents a formal imperative calculus to formalize the semantics of class-based object-oriented programming languages. The tractability of this approach is demonstrated by our ...

Abstract: Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus ...