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. A past version of The Computer Language Benchmarks Game has demonstrated that the performance of ATS is 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 theoremproving system of ATS (ATS/LF), the programme
Property  Value 

dbo:abstract 

dbo:designer  
dbo:influencedBy  
dbo:latestReleaseVersion 

dbo:license  
dbo:wikiPageEditLink  
dbo:wikiPageExternalLink  
dbo:wikiPageExtracted 

dbo:wikiPageHistoryLink  
dbo:wikiPageID 

dbo:wikiPageLength 

dbo:wikiPageModified 

dbo:wikiPageOutDegree 

dbo:wikiPageRevisionID 

dbo:wikiPageRevisionLink  
dbp:wikiPageUsesTemplate  
dct:subject  
rdf:type 

rdfs:comment 

rdfs:label 

owl:sameAs  
foaf:homepage  
foaf:isPrimaryTopicOf  
foaf:name 

foaf:page  
is dbo:influenced of  
is dbo:wikiPageDisambiguates of  
is dbo:wikiPageRedirects of  
is foaf:primaryTopic of 