all options
wheezy  ] [  jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Source: ats-lang-anairiats  ]

Package: ats-lang-anairiats-doc (0.2.3-1)

Links for ats-lang-anairiats-doc

Screenshot

Debian Resources:

Download Source Package ats-lang-anairiats:

Maintainer:

External Resources:

Similar packages:

documentação para o compilador Anairiats para a linguagem ATS

ATS é uma linguagem de programação com um sistema de tipos altamente expressivo enraizado na infraestrutura Applied Type System (Sistema de Tipos Aplicados). Em particular, tanto os tipos dependentes quanto os lineares estão disponíveis no ATS. A implementação atual do ATS (ATS/Anairiats) é escrita no próprio ATS. Ela pode ser tão eficiente quanto o C/C++ e dá suporte a uma variedade de paradigmas de programação.

Em adição, o ATS contém um componente ATS/LF que dá suporte a uma forma de prova (interativa) de teoremas, onde as provas são construídas como funções completas. Com este componente, o ATS advoga um estilo de programação que combina programação com prova de teoremas. Além disso, este componente pode ser usado como infraestrutura lógica para codificar vários sistemas de dedução e suas (meta)propriedades.

Este pacote contém alguma documentação para a linguagem.

Tags: Software Development: Documentation, Examples, Made Of: HTML, Hypertext Markup Language, made-of::pdf, role::documentation

Other Packages Related to ats-lang-anairiats-doc

  • depends
  • recommends
  • suggests
  • enhances

Download ats-lang-anairiats-doc

Download for all available architectures
Architecture Package Size Installed Size Files
all 401.6 kB952.0 kB [list of files]