| | |
Summary: Language-oriented Software Development
and Rewriting Logic
Christiano Braga
cbraga@ic.uff.br
http://www.ic.uff.br/~cbraga
Universidade Federal Fluminense (UFF)
Language-oriented Software Development and Rewriting Logic p.1/39
Acknowledgments
· Prof. Narciso Martí-Oliet and the UCMaude Group.
· The Advanced Systems Research Group of the
Computer Science Institute at UFF.
· The Brazilian Research Council, CNPq.
Language-oriented Software Development and Rewriting Logic p.2/39
C.S. Graduate Program at UFF
· UFF: located in Niterói, RJ, Brazil; aprox. 22.000
undergraduate students, 3.000 graduate students,
and aprox. 2.200 professors.
· PGC: 134 graduate students and 20 professors, in
the following research areas:
· Parallel and distributed processing.
|
