Project Description

• Write Howto Install
• Write Howto Use

The programming language ATS unifies specification and implementation by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof.

(This Description is auto-translated) Try to translate to Japanese Show Original Description

Download

Windows ats-lang-anairiats-0.2.9.tgz (Date: 2013-01-15, Size: 2.4 MB)

Mac ats-lang-anairiats-0.2.9.tgz (Date: 2013-01-15, Size: 2.4 MB)

Linux ats-lang-anairiats-0.2.9.tgz (Date: 2013-01-15, Size: 2.4 MB)

BSD ats-lang-anairiats-0.2.9.tgz (Date: 2013-01-15, Size: 2.4 MB)

Solaris ats-lang-anairiats-0.2.9.tgz (Date: 2013-01-15, Size: 2.4 MB)

• Latest Files
  • ATS-Postiats-2013-04-27.tgz (Date: 2013-04-28, Size: 5.2 MB)
  • ATS-Postiats-2013-04-03.tgz (Date: 2013-04-04, Size: 3.5 MB)
  • ATS-Postiats-2013-03-22.tgz (Date: 2013-03-22, Size: 3.3 MB)
  • ATS-Postiats-2013-03-21.tgz (Date: 2013-03-21, Size: 693.6 KB)
  • ats-lang-anairiats-0.2.9.tgz (Date: 2013-01-15, Size: 2.4 MB)

Download File List

Review

Your rating

Review this project

×

Your rating for The ATS PL System

Your rationg?

Add an Optional comment

Submit Delete Cancel

Project Informations

Software Map

Related Projects

Exerb

Average

5.0

Reviews

blanco Framework

Average

3.9

Reviews

ＣＳＶプリプロセッサ言語システム

Average

4.1

Reviews

FileZilla

Average

5.0

Reviews

freemind

Average

4.7

Reviews

Search Keywords