[X] The "/mytracks/myTracks_1_6_1.dmg" file could not be found or is not available. Please select another file.

Welcome, Guest! Log In | Create Account

ATS is a programming language with an advanced type system rooted in the framework of Applied Type System. In ATS, a programming paradigm for effectively constructing highly dependable software is supported that combines programming with theorem proving.

Download Now! ats-lang-anairiats-0.1.6.... (1.6 MB) OR View all files

http://ats-lang.sourceforge.net





Separate each tag with a space.

Release Date:

2009-09-14

Topics:

Compilers, Code Generators

License:

GNU General Public License (GPL)

Operating System:

All POSIX (Linux/BSD/UNIX-like OSes),
Cygwin (MS Windows), Linux

Translations:

English

Intended Audience:

Developers, Science/Research

User Interface:

Command-line

Database Environment:

MySQL

Programming Language:

C

Registered:

2007-09-17

Ratings and Reviews

Be the first to post a text review of ATS language. Rate and review a project by clicking thumbs up or thumbs down in the right column.

Project Feed

Rate and Review

Be the first person to add a text review.

Would you recommend this project?





<

Related Projects

ATS language Actions

About SourceForge

Find Software

Develop Software

Community

Help

Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use

Thanks for your rating!

Would you also like to write a review?





Skip Review