Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q621618> ?p ?o }
Showing triples 1 to 71 of
71
with 100 triples per page.
- Q621618 subject Q7134862.
- Q621618 subject Q7447023.
- Q621618 subject Q7447093.
- Q621618 subject Q7447121.
- Q621618 subject Q8374212.
- Q621618 subject Q8795396.
- Q621618 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.".
- Q621618 influencedBy Q212587.
- Q621618 influencedBy Q4037222.
- Q621618 influencedBy Q860654.
- Q621618 latestReleaseDate "2015-12-22".
- Q621618 latestReleaseVersion "ATS2-0.2.5".
- Q621618 license Q7603.
- Q621618 wikiPageExternalLink DOCUMENT.
- Q621618 wikiPageExternalLink manual_main.pdf.
- Q621618 wikiPageExternalLink ats.
- Q621618 wikiPageExternalLink ml-programmers-guide-to-ats.
- Q621618 wikiPageExternalLink www.ats-lang.org.
- Q621618 wikiPageExternalLink Documents.html.
- Q621618 wikiPageWikiLink Q11387554.
- Q621618 wikiPageWikiLink Q118155.
- Q621618 wikiPageWikiLink Q1340959.
- Q621618 wikiPageWikiLink Q1352761.
- Q621618 wikiPageWikiLink Q1505415.
- Q621618 wikiPageWikiLink Q15777.
- Q621618 wikiPageWikiLink Q173326.
- Q621618 wikiPageWikiLink Q178940.
- Q621618 wikiPageWikiLink Q188267.
- Q621618 wikiPageWikiLink Q193076.
- Q621618 wikiPageWikiLink Q19423.
- Q621618 wikiPageWikiLink Q212587.
- Q621618 wikiPageWikiLink Q2407.
- Q621618 wikiPageWikiLink Q275596.
- Q621618 wikiPageWikiLink Q2910881.
- Q621618 wikiPageWikiLink Q322202.
- Q621618 wikiPageWikiLink Q4037222.
- Q621618 wikiPageWikiLink Q49110.
- Q621618 wikiPageWikiLink Q65943.
- Q621618 wikiPageWikiLink Q7134862.
- Q621618 wikiPageWikiLink Q7447023.
- Q621618 wikiPageWikiLink Q7447093.
- Q621618 wikiPageWikiLink Q7447121.
- Q621618 wikiPageWikiLink Q751740.
- Q621618 wikiPageWikiLink Q7603.
- Q621618 wikiPageWikiLink Q8374212.
- Q621618 wikiPageWikiLink Q848539.
- Q621618 wikiPageWikiLink Q860654.
- Q621618 wikiPageWikiLink Q865760.
- Q621618 wikiPageWikiLink Q8795396.
- Q621618 wikiPageWikiLink Q949972.
- Q621618 designer "Hongwei Xi at the Boston University".
- Q621618 influencedBy Q212587.
- Q621618 influencedBy Q4037222.
- Q621618 influencedBy Q860654.
- Q621618 latestReleaseDate "2015-12-22".
- Q621618 latestReleaseVersion "ATS2-0.2.5".
- Q621618 license Q7603.
- Q621618 name "ATS".
- Q621618 website www.ats-lang.org.
- Q621618 type Language.
- Q621618 type Language.
- Q621618 type ProgrammingLanguage.
- Q621618 type Thing.
- Q621618 type Q315.
- Q621618 type Q34770.
- Q621618 type Q9143.
- Q621618 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.".
- Q621618 label "ATS (programming language)".
- Q621618 homepage www.ats-lang.org.
- Q621618 name "ATS".
- Q621618 page www.ats-lang.org.