ManTa Banner
ManTa is the name of a programming/specification language and also the name of a system to assist a user in writing programs in the ManTa language.

Note that there is a different project called Manta (with lowercase 't'), it is a compiler for Java, its web site is http://www.cs.vu.nl/manta/.

ManTa is the unique program of its kind in Latin Americ with an entry in Formal Methods Projects of the Virtual Library as well as in Formal Methods Education Resources also in the Virtual Library.


CONTENTS

NEWS AND EVENTS

ManTa 3.1 beta 6 released
3/Jul/2001
New rewriting motor, new configurator tool and installation scheme. It is available from the page of ManTa 3.1.
New home at Sourceforge
15/Jun/2001
Three new mailing lists and a new development zone.
More documentation and publications
16/Jun/2000
Available at the documentation and publications page
ManTa 3.1 Beta 5 released
28/Apr/2000
The most hard problem has been worked out: Memory administration. See details of this release
Link
31/Mar/2000
A link to the ManTa project in the Formal Methods Education Resources
ManTa 3.1 Beta 4 released
11/Dec/1999
Many new features in this release (including a translator to OCaml). See the page of this release.
Link
11/Dec/1999
A link to the ManTa project in the formal methods projects of the Virtual Library
(The first project of this kind in Latin America)

Mailing Lists

There are three mailing lists:

Project hosted by SourceForge Logo
Valid HTML 4.0! Send your suggestions to manta-bugs@lists.sourceforge.net