"ATS"@en . . "2015-09-22Z"^^ . . . . . . "ATS (Applied Type System) is a programming language designed to unify programming with formal specification. There is support in ATS for combining theorem proving with practical programming through the use of advanced type systems. The performance of ATS has been demonstrated to be comparable to that of the C and C++ programming languages."@en . "ATS2-0.2.3" .