Matches in DBpedia 2015-04 for { <http://dbpedia.org/resource/ATS_(programming_language)> ?p ?o }
Showing triples 1 to 64 of
64
with 100 triples per page.
- ATS_(programming_language) abstract "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. 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) latestReleaseVersion "ATS2-0.1.6".
- ATS_(programming_language) wikiPageExternalLink DOCUMENT.
- ATS_(programming_language) wikiPageExternalLink manual_main.pdf.
- ATS_(programming_language) wikiPageExternalLink ats.
- ATS_(programming_language) wikiPageExternalLink ml-programmers-guide-to-ats.
- ATS_(programming_language) wikiPageExternalLink www.ats-lang.org.
- ATS_(programming_language) wikiPageExternalLink Documents.html.
- ATS_(programming_language) wikiPageID "19905196".
- ATS_(programming_language) wikiPageRevisionID "643186494".
- 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) latestReleaseVersion "ATS2-0.1.6".
- ATS_(programming_language) license "GPL3".
- 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) type Thing.
- ATS_(programming_language) type Q386724.
- ATS_(programming_language) type Q7397.
- ATS_(programming_language) type Q9143.
- ATS_(programming_language) comment "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.".
- ATS_(programming_language) label "ATS (llenguatge de programació)".
- 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=643186494.
- ATS_(programming_language) homepage www.ats-lang.org.
- ATS_(programming_language) isPrimaryTopicOf ATS_(programming_language).
- ATS_(programming_language) name "ATS".
- ATS_(programming_language) page www.ats-lang.org.