the ats pl system

We have hosted the application the ats pl system in order to run this application in our online workstations with Wine or directly.

Quick description about the ats pl system:

The programming language ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof.

Features:

• ATS can be used as a safe front-end to C
• ATS and C share the same data representation

Audience: Science/Research, Developers.
User interface: Command-line.
Programming Language: C.
Database Environment: MySQL.
.