| http://homepages.dcc.ufmg.br/~leonardo/saide/ | SAIDE, an acronymum of Syntax Analyser Integrated Development Environment, is an environment to facilitate the construction of LALR parsers. |
| http://www.dcc.ufmg.br/~camarao/CT | System CT extends ML-style type inference for supporting overloading. The main purposes of this project are to provide support for: i) constrained polymorphism (parametric polymorphism plus overloading) without the need for mandatory special constructs like Haskell's type classes included for coping with overloading, ii) data abstraction in the presence of constrained types (lost if information about overloaded symbols used in implementing abstractions are used in programs), iii) first-class overloaded functions (i.e. allow overloaded functions to be arguments without requiring overloading resolution at the point of calling a higher-order function), iv) generic programming, v) polymorphic recursion, vi) polymorphic abstraction, and related issues. |
 | PeerSpaces is a shared space coordination model designed for ad hoc mobile networks. The model is based on the concept of tuple spaces firstly proposed by Linda. In order to address the dynamic environment that characterizes ad hoc networks, PeerSpaces does not assume the presence of any centralized structure for communication and coordination. My contributions to the PeerSpaces project are related to the implementation of two different systems based on this architecture. The first of them is an implementation of the model to a fixed network environment and the other is an implementation of a simulator of distributed algorithms that use the coordination language proposed in the model. |
| http://www2.dcc.ufmg.br/laboratorios/llp/projects/LinF/ | LinF is a programming language devised for L-System specifications. L-Systems are formal string rewriting systems introduced in 1968 by the botanist Aristid Lindenmayer, and are used to model fractal images. LinF allows the definition of three-dimensional and stochastic fractals. My main contributions to the LinF project are the specification of the language and the implementation of part of a interpreter called cflc. That is an OpenGL-based system that generates fractal images from LinF specifications. Results obtained through the LinF formalism show the ease of use and generality of the developed tools with respect to the existing literature. |
| http://www2.dcc.ufmg.br/laboratorios/llp/projects/arcademis/ | Arcademis is a framework for middleware development. Its main objective is to provide application developers with a tool that can be used in the design and implementation of middleware platforms. A framework is a set of inter-related components that can be assembled together and customized according to the programmer's necessities. In order to validate the proposed system, a remote method invocation service has been implementated from the framework's components. Such service targets the J2ME version of the Java language and allows the remote execution of methods in an environment where reflexity is not provided. |
| http://www2.dcc.ufmg.br/laboratorios/llp/projects/PSBib/ | PSBib is prototype web system designed to perform strings pattern matching on PostScript files. |