ManTa

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.

The ManTa language allows the user to write algebraic specification of ADT (Abstract Data Types). Its theoretical bases ensure that every program written has "mathematical meaning" (i.e. a model)
The ManTa system allows:
- Specify ADTs in the ManTa language
- Specify new ADTs by several semi-authomatic methods (instanciation, restriction, representation, etc.)
- Evaluate expressions by using a Rewriting Motor
- Demonstrate ADT properties by using an inductive theorem prover. Hence, the user can ensure that his ADT correctly model the objects they represent
- Generate correct code which implements an ADT in "ANSI C" or "Ocaml"

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.

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:

manta-users: For users of the ManTa System (ask your questions here).
manta-announce: Low traffic list for announcements of new versions or events related with ManTa.
manta-bugs: Send bugs and suggestions to this list by writing to manta-bugs@lists.sourceforge.net (you don't need to be suscribed to post).

Project hosted by

Send your suggestions to manta-bugs@lists.sourceforge.net

CONTENTS

NEWS AND EVENTS

Mailing Lists