The ATS PL System

beta

Unleashing the potentials of types and templates

Add a Review
119 Downloads (This Week)
Last Update:
Download ats-lang-anairiats-0.2.11-fin.tgz
Browse All Files
Windows BSD Linux

Description

The programming language ATS unifies implementation with formal specification 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.

The ATS PL System Web Site

Features

  • ATS can be used as a safe front-end to C
  • ATS and C share the same data representation

Update Notifications





Write a Review

User Reviews

Be the first to post a review of The ATS PL System!

Additional Project Details

Languages

English

Intended Audience

Science/Research, Developers

User Interface

Command-line

Programming Language

C

Registered

2007-09-17

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.