The ATS PL System
Mirror server info
Download of ats-lang-anairiats-0.1.8.tar.gz (1,738,217 bytes/MD5: ccf622fb5fcf61f78d22e855f339cffb) should begin shortly. If not so, try to click ats-lang-anairiats-0.1.8.tar.gz. Project DescriptionThe 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.Search KeywordsNo Data |