Download List

Projeto Descrição

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.

System Requirements

Sistema Operacional: Cygwin (MS Windows), POSIX (Linux,BSD,Solaris etc..), Linux

Download Package list

Últimos 5 Arquivos
Nome Tamanho Data Download count
ats-lang-anairiats-0.2.12.tgz 2.3 MB 2015-11-27 01:33 4
ats-lang-anairiats-0.2.12.tgz 2.7 MB 2015-01-20 09:46 6
ats-lang-anairiats-0.2.12-release.html 0.3 KB 2015-01-20 09:45 5
ats-lang-anairiats-0.2.11-fin.tgz 2.7 MB 2015-01-13 14:00 7
ats-lang-anairiats-0.2.11-fin-release.html 0.3 KB 2014-12-18 11:29 12
Todos os Arquivos
ats-lang
anairiats-latest
ats-lang-anairiats-0.2.12.tgz2.3 MB2015-11-27 01:334
anairiats-0.2.12
ats-lang-anairiats-0.2.12.tgz2.7 MB2015-01-20 09:466
ats-lang-anairiats-0.2.12-release.html0.3 KB2015-01-20 09:455
anairiats-0.2.11
ats-lang-anairiats-0.2.11-fin.tgz2.7 MB2015-01-13 14:007
ats-lang-anairiats-0.2.11-fin-release.html0.3 KB2014-12-18 11:2912
ats-lang-anairiats-0.2.11.tgz2.9 MB2013-12-10 08:445
ats-lang-anairiats-0.2.11-release.html0.5 KB2013-11-16 02:583
postiats-test
ATS-Postiats-2013-08-30.tgz4.5 MB2013-08-31 11:584
ATS-Postiats-2013-08-27.tgz2.7 MB2013-08-28 04:112
ATS-Postiats-2013-08-13.tgz2.8 MB2013-08-15 11:222
ATS-Postiats-2013-07-09.tgz2.7 MB2013-07-09 23:465
ATS-Postiats-2013-06-30.tgz5.4 MB2013-07-01 12:157
ATS-Postiats-2013-06-23.tgz5.3 MB2013-06-24 13:233
ATS-Postiats-2013-04-27.tgz5.2 MB2013-04-28 11:333
ATS-Postiats-2013-04-03.tgz3.5 MB2013-04-04 08:485
ATS-Postiats-2013-03-22.tgz3.3 MB2013-03-23 04:324
ATS-Postiats-2013-03-21.tgz693.6 KB2013-03-22 03:504
anairiats-0.2.10
ats-lang-anairiats-0.2.10.tgz2.6 MB2013-08-30 11:559
ats-lang-anairiats-0.2.10-release.html0.6 KB2013-08-28 11:393
ats-lang-anairiats-0.2.10-linux-x86-64.tgz3.7 MB2013-08-28 10:546
anairiats-0.2.9
ats-lang-anairiats-0.2.9.tgz2.4 MB2013-01-15 10:596
ats-lang-anairiats-0.2.9-linux-x86-64.tgz3.2 MB2013-01-15 06:065
ats-lang-anairiats-0.2.9-release.html1.3 KB2013-01-15 03:072
anairiats-0.2.8
ats-lang-anairiats-0.2.8.tgz2.3 MB2012-09-28 13:335
ats-lang-anairiats-0.2.8-release.html0.8 KB2012-09-04 13:053
ats-lang-anairiats-0.2.8-linux-x86-32.tgz3.2 MB2012-09-04 12:574
ats-lang-anairiats-0.2.8-linux-x86-64.tgz3.3 MB2012-09-04 12:464
anairiats-0.2.7
ats-lang-anairiats-0.2.7.tgz2.4 MB2012-05-18 09:0310
ats-lang-anairiats-0.2.7-linux-86-64.tgz3.3 MB2012-05-18 09:031
ats-lang-anairiats-0.2.7-linux-86-32.tgz3.0 MB2012-05-18 09:034
ats-lang-anairiats-0.2.7-release.html1.6 KB2012-05-18 09:024
anairiats-0.2.6
ats-lang-anairiats-0.2.6-release.html1.6 KB2011-11-11 11:242
ats-lang-anairiats-026-linux-x86-64.tar.gz3.6 MB2011-11-11 11:183
ats-lang-anairiats-026-linux-x86-32.tar.gz2.9 MB2011-11-11 11:174
ats-lang-anairiats-0.2.6.tar.gz2.8 MB2011-11-11 11:153
anairiats-0.2.5
ats-lang-anairiats-0.2.5.tar.gz2.4 MB2011-09-02 12:165
ats-lang-anairiats-linux-x86-32.tar.gz3.0 MB2011-09-02 12:126
ats-lang-anairiats-linux-x86-64.tar.gz3.4 MB2011-09-02 12:097
ats-lang-anairiats-0.2.5-release.html2.1 KB2011-09-02 12:013
anairiats-0.2.4
ats-lang-anairiats-0.2.4-release.html2.2 KB2011-04-11 05:353
ats-lang-anairiats-0.2.4.tar.gz2.7 MB2011-04-11 05:311
ats-lang-anairiats-0.2.4-linux-x86-32.tar.gz2.9 MB2011-04-11 05:295
ats-lang-anairiats-0.2.4-linux-x86-64.tar.gz3.4 MB2011-04-11 05:154
anairiats-0.2.3
ats-lang-anairiats-0.2.3.tar.gz2.5 MB2010-12-13 02:343
ats-lang-anairiats-0.2.3-linux-x86-64.tar.gz3.4 MB2010-12-13 02:333
ats-lang-anairiats-0.2.3-linux-x86-32.tar.gz3.0 MB2010-12-13 02:313
ats-lang-anairiats-0.2.3-release.html1.8 KB2010-12-13 02:213
anairiats-0.2.2
ats-lang-anairiats-0.2.2.tar.gz2.4 MB2010-10-22 22:313
ats-lang-anairiats-0.2.2-linux-x86-64.tar.gz3.1 MB2010-10-18 07:401
ats-lang-anairiats-0.2.2-linux-x86-32.tar.gz3.1 MB2010-10-18 07:395
ats-lang-anairiats-0.2.2-release.html2.1 KB2010-10-18 07:134
anairiats-0.2.1
ats-lang-anairiats-0.2.1.tar.gz2.3 MB2010-08-14 01:484
ats-lang-anairiats-0.2.1-linux-x86-32.tar.gz2.9 MB2010-08-14 01:381
ats-lang-anairiats-0.2.1-linux-x86-64.tar.gz3.0 MB2010-08-14 00:272
ats-lang-anairiats-0.2.1-release.html1.1 KB2010-08-13 23:373
anairiats-0.2.0
ats-lang-anairiats-0.2.0.tar.gz2.2 MB2010-05-17 11:482
ats-lang-anairiats-0.2.0-linux-x86-64.tar.gz1.0 MB2010-05-17 11:485
ats-lang-anairiats-0.2.0-release.html0.6 KB2010-05-17 11:475
ats-lang-anairiats-0.2.0-linux-x86-32.tar.gz901.0 KB2010-05-17 10:125
anairiats-0.1.9
ats-lang-anairiats-0.1.9.tar.gz1.7 MB2010-04-08 02:526
ats-lang-anairiats-0.1.9-linux-x86-64.tar.gz947.6 KB2010-04-06 17:498
ats-lang-anairiats-0.1.9-linux-x86-32.tar.gz835.6 KB2010-04-06 17:276
ats-lang-anairiats-0.1.9-release.html1.0 KB2010-04-04 11:064
anairiats-0.1.8
ats-lang-anairiats-0.1.8.tar.gz1.7 MB2010-03-06 09:523
ats-lang-anairiats-0.1.8-linux-x86-32.tar.gz791.4 KB2010-03-06 06:042
ats-lang-anairiats-0.1.8-linux-x86-64.tar.gz910.1 KB2010-03-06 05:583
ats-lang-anairiats-0.1.8-release.html0.3 KB2010-03-06 05:535
anairiats-0.1.7
ats-lang-anairiats-0.1.7-linux-x86-32.tar.gz776.2 KB2010-01-13 22:556
ats-lang-anairiats-0.1.7-linux-x86-64.tar.gz887.5 KB2010-01-13 22:466
ats-lang-anairiats-0.1.7.tar.gz1.7 MB2010-01-13 22:377
ats-lang-anairiats-0.1.7-release.html0.2 KB2010-01-13 07:544
anairiats-0.1.6
ats-lang-anairiats-0.1.6.tar.gz1.6 MB2009-09-15 02:384
ats-lang-anairiats-0.1.6-release.html0.7 KB2009-09-15 02:176
ats-lang-anairiats-0.1.6-linux-x86-64.tar.gz811.6 KB2009-09-15 02:117
ats-lang-anairiats-0.1.6-linux-x86-32.tar.gz681.9 KB2009-09-15 01:284
anairiats-0.1.5
ats-lang-anairiats-0.1.5.tar.gz1.4 MB2009-07-13 04:002
ats-lang-anairiats-0.1.5-linux-x86-32.tar.gz676.7 KB2009-07-13 03:584
ats-lang-anairiats-0.1.5-linux-x86-64.tar.gz781.6 KB2009-07-13 03:429
anairiats-0.1.4
ats-lang-anairiats-0.1.4.tar.gz1.4 MB2009-07-03 22:112
ats-lang-anairiats-0.1.4-linux-x86.32.tar.gz631.3 KB2009-05-18 05:333
ats-lang-anairiats-0.1.4-linux-x86-64.tar.gz740.7 KB2009-05-17 11:044
anairiats-0.1.2
ats-lang-anairiats-0.1.2-linux-x86-64.tar.gz713.8 KB2009-01-18 10:356
ats-lang-anairiats-0.1.2-linux-x86-32.tar.gz609.2 KB2009-01-18 10:326
ats-lang-anairiats-0.1.2.tar.gz1.3 MB2009-01-18 10:031
anairiats-0.1.1
ats-lang-anairiats-0.1.1-linux-x86-64.tar.gz685.1 KB2008-12-14 06:446
ats-lang-anairiats-0.1.1-linux-x86-32.tar.gz575.8 KB2008-12-14 06:106
ats-lang-anairiats-0.1.1.tar.gz1.3 MB2008-12-14 04:077
anairiats-0.1.0
ats-lang-anairiats-0.1.0.tar.gz1.3 MB2008-10-26 06:022
ats-lang-anairiats-0.1.0-linux-x86-32.tar.gz566.7 KB2008-10-26 03:553
ats-lang-anairiats-0.1.0-linux-x86-64.tar.gz669.4 KB2008-10-26 03:493
anairiats-0.0.2
ats-lang-anairiats-0.0.2.tar.gz1.3 MB2008-10-08 10:374
anairiats-0.0.1
ats-lang-anairiats-0.0.1-linux-AMD64.tar.gz708.5 KB2008-09-11 14:226
ats-lang-anairiats-0.0.1-SunOS-UltraSparc.gz740.7 KB2008-09-04 10:205
ats-lang-anairiats-0.0.1.tar.gz2.1 MB2008-09-03 15:423
ats-lang-anairiats-0.0.1-linux-i386.tar.gz1.1 MB2008-09-03 15:075
OldFiles
ATS1-Geizella-2008-10-17.tgz272.6 KB2014-11-03 11:448
ats-lang-anairiats-0.1.3.tar.gz1.4 MB2009-05-20 02:321
ats-lang-anairiats-0.1.4-linux-x86-32.tar.gz627.7 KB2009-05-17 10:557
ats-lang-anairiats-0.1.3-linux-x86-64.tar.gz732.6 KB2009-03-30 07:565
ats-lang-anairiats-0.1.3-linux-x86-32.tar.gz633.0 KB2009-03-30 07:473
ats-lang-anairiats-0.1.0-x86-32.tar.gz560.0 KB2008-10-26 00:273
ats-lang-anairiats-0.1.0-linux-AMD64.tar.gz668.8 KB2008-10-26 00:074
ats-lang-anairiats-0.0.1-linux-IA64.tar.gz708.5 KB2008-09-04 08:123
ats-lang-anairiats-beta-linux-i386.tar.gz1.6 MB2008-08-28 08:014
ats-lang-anairiats-beta-linux-i386-32.tar.gz1.6 MB2008-08-28 05:344
ats-lang-anairiats-beta.tar.gz2.1 MB2008-08-26 10:005
ats-lang-anairiats-alpha.tar.gz2.0 MB2008-08-20 02:483
ats-lang-anairiats-alpha.tar15.9 MB2008-08-02 05:194
ats-lang-anairiats-0.0.1.tgz1.9 MB2008-07-27 06:244