Recent Upgrades
New Abaco version 2.30 is available for downloading here!!!
A new Action Notation Interpreter is available as applet here

Objective

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.

Development

We are working at the moment in four areas:

1. Component-based action semantics;
2. Action semantics for UML;
3. Improving the Abaco system; and
4. Improving the Action Notation Interpreter, Ani.

Other possibilities of studies/investigations we intend to pursuit are:

1. Compiler Generation from Action Semantic Descriptions
2. An Action Semantics for Haskell
3. An Action Semantics for Java
4. An Action Semantics for Eiffel
5. Static Semantics Descriptions using Action Semantics
6. Translation of Actions
7. Action Transformations
8. Inferring Language Properties from Action Semantic Descriptions
9. Using Actions for Modelling Business Processes

Recife Action Tools

• Ani, Action Notation Interpreter.
  
• AG, Actioneer Generator.
  
• The Abaco System, The Abaco System, an algebraic based action compiler.
  
• WebAni, Action Notation Interpreter for the Internet (Now written in Java).
  

People

See who is doing the hard work at the moment!

Actions

Click on actions to see and perform many actions and program-actions!

Documentation

• Action Transformations (Hermano Moura's PhD Thesis)
  
• An Implementation of Action Semantics (a paper about Ani)
  

Software

• Ani Installation Procedures
  
• Click here to downloading Ani now (308,976 bytes)
  

Related Home Pages

• Action Semantics
• Actress
• Action Semantic Descriptions
• Tools: ASD Tools

Opportunities

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.

Funding

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.