Æon
Æon is a programming language with refinement types that supports genetic programming for program synthesis.
Tools
CONFIDENT
CONFIDENT is a toolchain for effective construction and evolution of REST APIs.
Dependent Object-oriented Language
DOL is a Dependent Object-oriented Language featuring dependent types, mutable objects and class-based inheritance with subtyping.
Doit
CONFIDENT is a toolchain for effective construction and evolution of REST APIs.
FreeST
FreeST is a typed concurrent programming language where processes communicate via message-passing.
MIL
MIL (Multithreaded Intermediate Language) is an assembly language targeted at an abstract multi-processor equipped with a shared main memory. Each processor consists of a series of registers and of a local memory for instructions and for local data. The main memory is divided into a heap and a run pool. The heap stores data and…
Mini Object-Oriented Language
Mool is a mini object-oriented language in a Java-like style with support for concurrency, that allows programmers to specify class usage protocols as types.
ParTypes
ParTypes is a toolchain for validating and synthesising message-based programs for Message Passing Interface (MPI) programs.
PESTT
PESTT an Educational Testing Tool for learning and designing unit tests for the Java language.
Propi
ProPi is a tool that statically verifies whether message passing programs are free from deadlocks.
QUEST
QUEST is a suite of tools integrated in a Eclipse plug-in that aim to ensure compliance of Java implementations of data abstractions with their property-driven specifications.
SePi
SePi is a concurrent, message-passing programming language based on the pi-calculus. The language features synchronous, bi-directional channel-based communication. Programs use primitives to send and receive messages as well as offer and select choices. Channel interactions are statically verified against session types describing the kind and order of messages exchanged, as well as the number of…
Tsallis Entropy Calculator
The Tsallis Entropy calculator is a tool developed to compute and compare several versions of conditional Tsallis entropies existing in the literature.