Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/ATS_(programming_language)> ?p ?o }
- 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) latestReleaseDate "2015-09-22".
- ATS_(programming_language) latestReleaseVersion "ATS2-0.2.3".
- 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 "14359".
- ATS_(programming_language) wikiPageOutDegree "42".
- ATS_(programming_language) wikiPageRevisionID "683779910".
- 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 Multi-paradigm_programming_language.
- ATS_(programming_language) wikiPageWikiLink OCaml.
- ATS_(programming_language) wikiPageWikiLink Pointer_(computer_programming).
- ATS_(programming_language) wikiPageWikiLink Pointer_arithmetic.
- 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 Tail_recursion.
- 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) 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) latestReleaseDate "2015-09-22".
- ATS_(programming_language) latestReleaseVersion "ATS2-0.2.3".
- 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 Multi-paradigm_programming_language.
- 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 Work.
- ATS_(programming_language) type CreativeWork.
- 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 (programming language)".
- 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) sameAs Q621618.
- ATS_(programming_language) wasDerivedFrom ATS_(programming_language)?oldid=683779910.
- ATS_(programming_language) homepage www.ats-lang.org.
- ATS_(programming_language) isPrimaryTopicOf ATS_(programming_language).
- ATS_(programming_language) name "ATS".