(TER) Compilation and interpretation of functions in the Althread language
Research Project (TER) at the University of Strasbourg
Althread is an educational programming language designed to model and verify distributed systems. It is written in Rust and is being developed at the University of Strasbourg under the supervision of Quentin Bramas.
Related Documents
May 15, 2025