Matches in DBpedia 2014 for { <http://dbpedia.org/resource/ATS_(programming_language)> ?p ?o. }
Showing items 1 to 52 of
52
with 100 items per page.
- ATS_(programming_language) abstract "ATS (Applied Type System) is a programming language whose stated purpose is to support theorem proving in combination 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 intertwined with the operative code to prove that a function attains its specification.".
- ATS_(programming_language) designer Hongwei_Xi.
- ATS_(programming_language) influencedBy Dependent_ML.
- ATS_(programming_language) influencedBy ML_(programming_language).
- ATS_(programming_language) influencedBy OCaml.
- ATS_(programming_language) wikiPageExternalLink ats.
- ATS_(programming_language) wikiPageExternalLink www.ats-lang.org.
- ATS_(programming_language) wikiPageExternalLink manual_main.pdf.
- ATS_(programming_language) wikiPageID "19905196".
- ATS_(programming_language) wikiPageRevisionID "574580272".
- ATS_(programming_language) designer "Hongwei Xi at the Boston University".
- ATS_(programming_language) hasPhotoCollection ATS_(programming_language).
- ATS_(programming_language) influencedBy Dependent_ML.
- ATS_(programming_language) influencedBy ML_(programming_language).
- ATS_(programming_language) influencedBy OCaml.
- ATS_(programming_language) name "ATS".
- ATS_(programming_language) paradigm Functional_programming.
- ATS_(programming_language) paradigm Imperative_programming.
- ATS_(programming_language) paradigm Programming_paradigm.
- ATS_(programming_language) website www.ats-lang.org.
- ATS_(programming_language) subject Category:Declarative_programming_languages.
- ATS_(programming_language) subject Category:Dependently_typed_languages.
- ATS_(programming_language) subject Category:Functional_languages.
- ATS_(programming_language) subject Category:Multi-paradigm_programming_languages.
- ATS_(programming_language) subject Category:Programming_languages_created_in_the_2000s.
- ATS_(programming_language) subject Category:Systems_programming_languages.
- ATS_(programming_language) type Abstraction100002137.
- ATS_(programming_language) type ArtificialLanguage106894544.
- ATS_(programming_language) type Communication100033020.
- ATS_(programming_language) type DependentlyTypedLanguages.
- ATS_(programming_language) type FunctionalLanguages.
- ATS_(programming_language) type Language106282651.
- ATS_(programming_language) type ProgrammingLanguage106898352.
- ATS_(programming_language) type ProgrammingLanguagesCreatedInThe2000s.
- ATS_(programming_language) type ProgrammingLanguage.
- ATS_(programming_language) type Software.
- ATS_(programming_language) type Work.
- ATS_(programming_language) type CreativeWork.
- ATS_(programming_language) type InformationEntity.
- ATS_(programming_language) comment "ATS (Applied Type System) is a programming language whose stated purpose is to support theorem proving in combination 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.".
- ATS_(programming_language) label "ATS (programming language)".
- ATS_(programming_language) label "ATS (язык программирования)".
- ATS_(programming_language) label "Applied Type System".
- ATS_(programming_language) sameAs Applied_Type_System.
- ATS_(programming_language) sameAs m.04q84w1.
- ATS_(programming_language) sameAs Q621618.
- ATS_(programming_language) sameAs Q621618.
- ATS_(programming_language) sameAs ATS_(programming_language).
- ATS_(programming_language) wasDerivedFrom ATS_(programming_language)?oldid=574580272.
- ATS_(programming_language) homepage www.ats-lang.org.
- ATS_(programming_language) isPrimaryTopicOf ATS_(programming_language).
- ATS_(programming_language) name "ATS".