SK Calculus or SK Combinator Calculus is a Turing complete computational system, that can be regarded as a reduced version of the untyped lambda calculus. SK Calculus is the minimal turing complete ...

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 ...

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: 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 ...