The ATS PL System

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

Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.

Try free now

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

Database Environment

MySQL

Related Categories

C Code Generators, C Compilers

Registered

2007-09-17

Similar Business Software

SheetDB

SheetDB will turn your sheets into a JSON API, easy to integrate with other tools and all programming languages. We have prepared many libraries working with common tools, other APIs and programming languages. If you work with non-IT people, use Google Sheets as a database for your projects....

See Software
Windsurf Editor

The Windsurf Editor is a free AI-powered IDE and AI coding assistant that accelerates development by providing intelligent code generation and agents in over 70 programming languages and more than 40 IDEs, including VSCode, JetBrains, and Jupyter Notebooks. With Windsurf, developers can write...

See Software
TrustInSoft Analyzer

TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers...

See Software