The ATS PL System

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

Description

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.

The ATS PL System Web Site

Features

  • ATS supports programming with theorem-proving
  • 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

Developers, Science/Research

User Interface

Command-line

Programming Language

C

Registered

2007-09-17
Screenshots can attract more users to your project.
Features can attract more users to your project.

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