ATS (programming language)
ATS (Applied Type System) is a programming language designed to unify programming with formal specification. ATS has support 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. By using theorem proving and strict type checking, the compiler can detect and prove that its implemented functions are not susceptible to bugs such as division by zero, memory leaks, buffer overflow, and other forms of memory corruption by verifying pointer arithmetic and reference counting before the program compiles. Additionally, by using the integrated theorem-proving system of ATS (ATS/LF), the programmer may make use of static constructs that are intertwi
influenced
Wikipage disambiguates
Wikipage redirect
primaryTopic
ATS (programming language)
ATS (Applied Type System) is a programming language designed to unify programming with formal specification. ATS has support 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. By using theorem proving and strict type checking, the compiler can detect and prove that its implemented functions are not susceptible to bugs such as division by zero, memory leaks, buffer overflow, and other forms of memory corruption by verifying pointer arithmetic and reference counting before the program compiles. Additionally, by using the integrated theorem-proving system of ATS (ATS/LF), the programmer may make use of static constructs that are intertwi
has abstract
ATS (Applied Type System) is a ...... ion attains its specification.
@en
ATS (Applied Type System) — яз ...... ями таких языков как Си и C++.
@ru
Applied Type System (ATS) ist ...... nung zur Systemprogrammierung.
@de
designer
influenced by
latest release date
2016-06-29
latest release version
ATS2-0.2.8
license
Link from a Wikipage to an external page
Wikipage page ID
19,905,196
Wikipage revision ID
742,053,809
subject
hypernym
comment
ATS (Applied Type System) is a ...... c constructs that are intertwi
@en
ATS (Applied Type System) — яз ...... ями таких языков как Си и C++.
@ru
Applied Type System (ATS) ist ...... nung zur Systemprogrammierung.
@de
label
ATS (programming language)
@en
ATS (язык программирования)
@ru
Applied Type System
@de
wasDerivedFrom
homepage
isPrimaryTopicOf
name
ATS
@en