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.

Features

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

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow The ATS PL System

The ATS PL System Web Site

Other Useful Business Software
Get Avast Free Antivirus with 24/7 AI-powered online scam detection Icon
Get Avast Free Antivirus with 24/7 AI-powered online scam detection

Get protection for today’s online threats. Free.

Award-winning antivirus protection, as well as protection against online scams, dangerous Wi-Fi connections, hacked accounts, and ransomware. It includes Avast Assistant, your built-in AI partner, which gives you help with suspicious online messages, offers, and more.
Free Download
Rate This Project
Login To Rate This Project

User Reviews

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

Additional Project Details

Operating Systems

Cygwin, Linux, BSD

Languages

English

Intended Audience

Science/Research, Developers

User Interface

Command-line

Programming Language

C

Database Environment

MySQL

Related Categories

C Code Generators, C Compilers

Registered

2007-09-17