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

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

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-cahttp://ca.dbpedia.org/resource/
n4http://www.ats-lang.org/
n18http://ats-lang.sourceforge.net/DOCUMENT/
n28https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbpedia-ruhttp://ru.dbpedia.org/resource/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n7http://ats-lang.sourceforge.net/htdocs-old/DOCUMENT/MISC/
freebasehttp://rdf.freebase.com/ns/
n21http://bluishcoder.co.nz/tags/ats/
n9http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n25http://cs.likai.org/ats/
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Dependent_ML
dbo:wikiPageWikiLink
dbr:ATS_(programming_language)
Subject Item
dbr:Dependent_type
dbo:wikiPageWikiLink
dbr:ATS_(programming_language)
Subject Item
dbr:Intuitionistic_type_theory
dbo:wikiPageWikiLink
dbr:ATS_(programming_language)
Subject Item
dbr:List_of_programming_languages_by_type
dbo:wikiPageWikiLink
dbr:ATS_(programming_language)
Subject Item
dbr:Substructural_type_system
dbo:wikiPageWikiLink
dbr:ATS_(programming_language)
Subject Item
dbr:ML_(programming_language)
dbo:wikiPageWikiLink
dbr:ATS_(programming_language)
Subject Item
dbr:ATS2
dbo:wikiPageWikiLink
dbr:ATS_(programming_language)
dbo:wikiPageRedirects
dbr:ATS_(programming_language)
Subject Item
dbr:ATS_(programming_language)
rdf:type
dbo:Language yago:ProgrammingLanguage106898352 dbo:Software yago:WikicatFunctionalLanguages owl:Thing wikidata:Q315 schema:Language yago:WikicatDependentlyTypedLanguages yago:Communication100033020 yago:ArtificialLanguage106894544 wikidata:Q9143 yago:Abstraction100002137 yago:WikicatProgrammingLanguagesCreatedInThe2000s dbo:ProgrammingLanguage yago:Language106282651
rdfs:label
ATS (язык программирования) ATS (programming language) ATS (langage de programmation) Applied Type System ATS (llenguatge de programació)
rdfs:comment
ATS (Applied Type System) est un langage de programmation conçu pour unifier la programmation avec des spécifications formelles. ATS prend en charge la combinaison de la démonstration du théorème avec la programmation pratique grâce à l'utilisation de systèmes de type avancés . Une version antérieure de The Computer Language Benchmarks Game a démontré que les performances d'ATS sont comparables à celles des langages de programmation C et C++. En utilisant la preuve de théorème et la vérification de type stricte, le compilateur peut détecter et prouver que ses fonctions implémentées ne sont pas sensibles aux bogues tels que la division par zéro, les fuites de mémoire, le dépassement de mémoire tampon et d'autres formes de corruption de mémoire en vérifiant l' arithmétique du pointeur et le 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. A past version of The Computer Language Benchmarks Game has demonstrated that the performance of ATS is 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 programme ATS (Applied Type System) és un llenguatge de programació dissenyat per a la Universitat de Boston que incorpora "Tipus dependents de valors" i altres sistemes de tipus avançats així com construccions per assegurar la correcta finalització de les funcions entre les quals hi ha anotacions de mètrica i un sistema de proposicions i proves (predicats). El llenguatge parteix del cos del llenguatge ML Estàndard incorporant-hi construccions per a proveir els mecanismes avançats. ATS (от англ. Applied Type System) — язык программирования, нацеленный на поддержку формальной верификации в сочетании с практическим программированием с использованием системы зависимых типов. Разработчик — Хонвэй Си; основные конструкции заимствованы из ML и OCaml, предшествующий язык Dependent ML того же автора по сути включён в новый. Applied Type System (ATS) ist eine Programmiersprache, die derzeit an der Universität Boston entwickelt wird. Der Schwerpunkt liegt auf einem ausdrucksstarken Typsystem mit Abhängigen Typen (Dependent Types) und Linearen Typen. Dieses ermöglicht unter anderem die Verifikation bestimmter Eigenschaften des Programms durch die explizite Konstruktion von Beweisen, sowie die Verwaltung von Ressourcen wie dynamisch allokiertem Speicher, geöffneten Dateien usw. Weitere Ziele sind eine gute Interoperabilität mit C, eine mit C vergleichbare Effizienz und die Eignung zur Systemprogrammierung.
foaf:name
ATS
foaf:homepage
n4:
dbp:name
ATS
foaf:depiction
n9:The_ATS_Logo.svg
foaf:page
n4:
dcterms:subject
dbc:Systems_programming_languages dbc:Programming_languages_created_in_2004 dbc:Dependently_typed_languages dbc:Declarative_programming_languages dbc:Functional_languages dbc:Multi-paradigm_programming_languages
dbo:wikiPageID
19905196
dbo:wikiPageRevisionID
1105840474
dbo:wikiPageWikiLink
dbr:Multi-paradigm_programming_language dbr:Static_typing dbr:C++ dbr:Variadic_function dbr:Algebraic_type dbr:If_and_only_if dbc:Systems_programming_languages dbr:Theorem dbc:Dependently_typed_languages dbr:Formal_verification dbc:Programming_languages_created_in_2004 dbc:Declarative_programming_languages dbr:Imperative_programming dbr:Type_system dbr:ML_(programming_language) dbr:Predicate_(mathematical_logic) dbr:Buffer_overflow dbr:Functional_programming dbr:C_(programming_language) dbr:GNU_Compiler_Collection dbr:Boston_University dbr:Pointer_arithmetic dbr:The_Computer_Language_Benchmarks_Game dbr:GNU_General_Public_License dbr:OCaml dbc:Multi-paradigm_programming_languages dbc:Functional_languages dbr:Reference_counting dbr:Proof_assistant dbr:Memory_leak dbr:Memory_corruption dbr:Hongwei_Xi dbr:Division_by_zero dbr:Dependent_ML dbr:Tail_recursion dbr:Garbage_collection_(computer_science)
dbo:wikiPageExternalLink
n4: n7:manual_main.pdf n18: n21: n25:ml-programmers-guide-to-ats n4:Documents.html
owl:sameAs
freebase:m.04q84w1 wikidata:Q621618 dbpedia-ru:ATS_(язык_программирования) dbpedia-de:Applied_Type_System dbpedia-ca:ATS_(llenguatge_de_programació) yago-res:ATS_(programming_language) n28:4ocFV dbpedia-fr:ATS_(langage_de_programmation)
dbp:wikiPageUsesTemplate
dbt:Multiple_issues dbt:Code dbt:Start_date_and_age dbt:Term dbt:Glossary_begin dbt:Short_description dbt:Glossary_end dbt:Technical dbt:Manual dbt:Defn dbt:Infobox_programming_language dbt:Wikibooks dbt:Mono dbt:Primary_sources
dbo:thumbnail
n9:The_ATS_Logo.svg?width=300
dbp:designer
Hongwei Xi at Boston University
dbp:influencedBy
dbr:OCaml dbr:C++ dbr:Dependent_ML dbr:ML_(programming_language)
dbp:latestReleaseDate
2020-11-14
dbp:latestReleaseVersion
ATS2-0.4.2
dbp:license
dbr:GNU_General_Public_License
dbp:logo
File:The ATS Logo.svg
dbp:paradigm
dbr:Multi-paradigm_programming_language dbr:Functional_programming dbr:Imperative_programming
dbp:typing
dbr:Static_typing
dbp:website
n4:
dbo:abstract
Applied Type System (ATS) ist eine Programmiersprache, die derzeit an der Universität Boston entwickelt wird. Der Schwerpunkt liegt auf einem ausdrucksstarken Typsystem mit Abhängigen Typen (Dependent Types) und Linearen Typen. Dieses ermöglicht unter anderem die Verifikation bestimmter Eigenschaften des Programms durch die explizite Konstruktion von Beweisen, sowie die Verwaltung von Ressourcen wie dynamisch allokiertem Speicher, geöffneten Dateien usw. Weitere Ziele sind eine gute Interoperabilität mit C, eine mit C vergleichbare Effizienz und die Eignung zur Systemprogrammierung. ATS (от англ. Applied Type System) — язык программирования, нацеленный на поддержку формальной верификации в сочетании с практическим программированием с использованием системы зависимых типов. Разработчик — Хонвэй Си; основные конструкции заимствованы из ML и OCaml, предшествующий язык Dependent ML того же автора по сути включён в новый. Производительность программ на ATS сравнима с аналогичными показателями программ на Си и C++. По мнению автора языка эффективность для функциональных языков в основном зависит от способа представления данных в языке и оптимизации хвостовых вызовов, поэтому данные в ATS хранятся в простом (плоском) виде или преимущественно без вложенных представлений. ATS (Applied Type System) est un langage de programmation conçu pour unifier la programmation avec des spécifications formelles. ATS prend en charge la combinaison de la démonstration du théorème avec la programmation pratique grâce à l'utilisation de systèmes de type avancés . Une version antérieure de The Computer Language Benchmarks Game a démontré que les performances d'ATS sont comparables à celles des langages de programmation C et C++. En utilisant la preuve de théorème et la vérification de type stricte, le compilateur peut détecter et prouver que ses fonctions implémentées ne sont pas sensibles aux bogues tels que la division par zéro, les fuites de mémoire, le dépassement de mémoire tampon et d'autres formes de corruption de mémoire en vérifiant l' arithmétique du pointeur et le comptage de références avant que le programme se compile. De plus, en utilisant le système de démonstration de théorème intégré de l'ATS (ATS / LF), le programmeur peut utiliser des constructions statiques qui sont entrelacées avec le code opérationnel pour prouver qu'une fonction atteint sa spécification. 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. A past version of The Computer Language Benchmarks Game has demonstrated that the performance of ATS is 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 (Applied Type System) és un llenguatge de programació dissenyat per a la Universitat de Boston que incorpora "Tipus dependents de valors" i altres sistemes de tipus avançats així com construccions per assegurar la correcta finalització de les funcions entre les quals hi ha anotacions de mètrica i un sistema de proposicions i proves (predicats). El llenguatge parteix del cos del llenguatge ML Estàndard incorporant-hi construccions per a proveir els mecanismes avançats.
dbp:fileExt
.sats, .dats, .hats
gold:hypernym
dbr:Language
prov:wasDerivedFrom
wikipedia-en:ATS_(programming_language)?oldid=1105840474&ns=0
dbo:wikiPageLength
17053
dbo:latestReleaseDate
2020-11-14
dbo:latestReleaseVersion
ATS2-0.4.2
dbo:designer
dbr:Hongwei_Xi
dbo:influencedBy
dbr:OCaml dbr:Dependent_ML dbr:ML_(programming_language) dbr:C++
dbo:license
dbr:GNU_General_Public_License
foaf:isPrimaryTopicOf
wikipedia-en:ATS_(programming_language)
Subject Item
dbr:POPLmark_challenge
dbo:wikiPageWikiLink
dbr:ATS_(programming_language)
Subject Item
dbr:ATS
dbo:wikiPageWikiLink
dbr:ATS_(programming_language)
dbo:wikiPageDisambiguates
dbr:ATS_(programming_language)
Subject Item
dbr:OCaml
dbo:wikiPageWikiLink
dbr:ATS_(programming_language)
dbp:influenced
dbr:ATS_(programming_language)
dbo:influenced
dbr:ATS_(programming_language)
Subject Item
dbr:Typestate_analysis
dbo:wikiPageWikiLink
dbr:ATS_(programming_language)
Subject Item
dbr:ATS_language
dbo:wikiPageWikiLink
dbr:ATS_(programming_language)
dbo:wikiPageRedirects
dbr:ATS_(programming_language)
Subject Item
wikipedia-en:ATS_(programming_language)
foaf:primaryTopic
dbr:ATS_(programming_language)