This HTML5 document contains 10 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
dbpedia-owlhttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n7http://www.ats-lang.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n6http://dbpedia.org/resource/ML_(programming_language)
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n2http://dbpedia.org/resource/ATS_(programming_language)
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpediahttp://dbpedia.org/resource/
Subject Item
n2:
rdfs: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.
foaf:name
ATS
foaf:page
n7:
dbpedia-owl:designer
dbpedia:Hongwei_Xi
dbpedia-owl:influencedBy
n6: dbpedia:Dependent_ML dbpedia:OCaml
dbpedia-owl:latestReleaseDate
2015-09-22Z
dbpedia-owl:latestReleaseVersion
ATS2-0.2.3
dbpedia-owl:license
dbpedia:GNU_General_Public_License