New Abaco version 2.30 is available for downloading here!!!
A new Action Notation Interpreter is available as applet here
The main objective of the RAT Project is to provide an action semantics based environment for design of programming languages. In the long term it could incorporate other semantic formalisms. The project will also provide a framework for discussion and test of ideas related with the intensive use of semantic formalism in the implementation of programming languages.
We are working at the moment in four areas:
Other possibilities of studies/investigations we intend to pursuit are:
See who is doing the hard work at the moment!
Click on actions to see and perform many actions and program-actions!
We have research opportunities for developing works in various levels: undergraduate projects, posgraduate master and phd projects, etc. If you would like to join our group please mail us.
We have the support of the Center of Informatics of Federal University of Pernambuco. Much of the previous work on action semantics was done as Moura's PhD programme at Glasgow University, Scotland, and was partly funded by the Brazilian Research Council (CNPq).
We are constantly seeking for sources of funding (and patternship) to further develop the RAT Project.