Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/ATS_(programming_language)> ?p ?o }
Showing triples 1 to 97 of
97
with 100 triples per page.
- ATS_(programming_language) abstract "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 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) latestReleaseDate "2015-12-22".
- ATS_(programming_language) latestReleaseVersion "ATS2-0.2.5".
- ATS_(programming_language) license GNU_General_Public_License.
- 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) wikiPageLength "14375".
- ATS_(programming_language) wikiPageOutDegree "42".
- ATS_(programming_language) wikiPageRevisionID "704762266".
- ATS_(programming_language) wikiPageWikiLink Boston_University.
- ATS_(programming_language) wikiPageWikiLink Buffer_overflow.
- ATS_(programming_language) wikiPageWikiLink C++.
- ATS_(programming_language) wikiPageWikiLink C_(programming_language).
- ATS_(programming_language) wikiPageWikiLink Category:Declarative_programming_languages.
- ATS_(programming_language) wikiPageWikiLink Category:Dependently_typed_languages.
- ATS_(programming_language) wikiPageWikiLink Category:Functional_languages.
- ATS_(programming_language) wikiPageWikiLink Category:Multi-paradigm_programming_languages.
- ATS_(programming_language) wikiPageWikiLink Category:Programming_languages_created_in_2004.
- ATS_(programming_language) wikiPageWikiLink Category:Systems_programming_languages.
- ATS_(programming_language) wikiPageWikiLink Dependent_ML.
- ATS_(programming_language) wikiPageWikiLink Division_by_zero.
- ATS_(programming_language) wikiPageWikiLink Formal_verification.
- ATS_(programming_language) wikiPageWikiLink Functional_programming.
- ATS_(programming_language) wikiPageWikiLink GNU_Compiler_Collection.
- ATS_(programming_language) wikiPageWikiLink GNU_General_Public_License.
- ATS_(programming_language) wikiPageWikiLink Garbage_collection_(computer_science).
- ATS_(programming_language) wikiPageWikiLink Hongwei_Xi.
- ATS_(programming_language) wikiPageWikiLink If_and_only_if.
- ATS_(programming_language) wikiPageWikiLink Imperative_programming.
- ATS_(programming_language) wikiPageWikiLink ML_(programming_language).
- ATS_(programming_language) wikiPageWikiLink Memory_corruption.
- ATS_(programming_language) wikiPageWikiLink Memory_leak.
- ATS_(programming_language) wikiPageWikiLink OCaml.
- ATS_(programming_language) wikiPageWikiLink Pointer_(computer_programming).
- ATS_(programming_language) wikiPageWikiLink Programming_paradigm.
- ATS_(programming_language) wikiPageWikiLink Proof_assistant.
- ATS_(programming_language) wikiPageWikiLink Reference_counting.
- ATS_(programming_language) wikiPageWikiLink Tail_call.
- ATS_(programming_language) wikiPageWikiLink Theorem.
- ATS_(programming_language) wikiPageWikiLink Type_system.
- ATS_(programming_language) wikiPageWikiLink Variadic_function.
- ATS_(programming_language) wikiPageWikiLinkText "ATS (programming language)".
- ATS_(programming_language) wikiPageWikiLinkText "ATS".
- ATS_(programming_language) designer "Hongwei Xi at the Boston University".
- ATS_(programming_language) influencedBy Dependent_ML.
- ATS_(programming_language) influencedBy ML_(programming_language).
- ATS_(programming_language) influencedBy OCaml.
- ATS_(programming_language) latestReleaseDate "2015-12-22".
- ATS_(programming_language) latestReleaseVersion "ATS2-0.2.5".
- ATS_(programming_language) license GNU_General_Public_License.
- 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) wikiPageUsesTemplate Template:Cleanup.
- ATS_(programming_language) wikiPageUsesTemplate Template:Infobox_programming_language.
- ATS_(programming_language) wikiPageUsesTemplate Template:Wikibooks.
- 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_2004.
- ATS_(programming_language) subject Category:Systems_programming_languages.
- ATS_(programming_language) hypernym Language.
- ATS_(programming_language) type Language.
- ATS_(programming_language) type ProgrammingLanguage.
- ATS_(programming_language) type Software.
- ATS_(programming_language) type Language.
- ATS_(programming_language) type Page.
- ATS_(programming_language) type Language.
- ATS_(programming_language) type Thing.
- ATS_(programming_language) type Q315.
- ATS_(programming_language) type Q34770.
- ATS_(programming_language) type Q9143.
- ATS_(programming_language) comment "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.".
- ATS_(programming_language) label "ATS (programming language)".
- ATS_(programming_language) sameAs Q621618.
- ATS_(programming_language) sameAs ATS_(llenguatge_de_programació).
- ATS_(programming_language) sameAs Applied_Type_System.
- ATS_(programming_language) sameAs m.04q84w1.
- ATS_(programming_language) sameAs ATS_(язык_программирования).
- ATS_(programming_language) sameAs Q621618.
- ATS_(programming_language) wasDerivedFrom ATS_(programming_language)?oldid=704762266.
- 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.