PhD Program Three years ago I started working on my PhD project, under FCT's grant SFRH/BD/19186/2004 . I've been working under the supervision of João Saraiva (University ...
Activities: I have served/will serve: in the Program Comittee for the following conferences: 22nd ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation ...
Awards and Distinctions 99/00 , 00/01 , 01/02 , 02/03 University of Minho 's Scholar Merit Award Awarded by the University of Minho to students that ...
The CircLib library The CircLib library is a Haskell based library that implements the schedulling of circular definitions. This library implements an adaptation ...
The HaCirc tool HaCirc is an Haskell refactor. It refactors circular programs into its strict counterpart. The tool accepts, as input, Haskell circular programs ...
The HaGLR tool During my degree internship I was to study, among other things, Parser techniques and algorithms. Under this goal, we (me and my internship supervisor ...
Incremental Spreadsheet Interpreter One of my major research interest subjects is Adaptive and Incremental computation. An adaptive computation maintains the relationship ...
The OCirc tool The OCirc tool is a tool that allows OCaml programmers to express their multiple traversal programs as circular programs. This tool transforms circular ...
Research Projects: Foundations, Applications and Tools for Bidirectional Transformations, FCT funded, 2011 ... Bidirectional Transformations Applied to Programming ...
Publications 2012 and Implementation of ClassSheet Models , Jácome Cunha, João Paulo Fernandes, Jorge Mendes, João Saraiva. In the Proceedings of the IEEE Symposium ...
I have: coordinated the Software Technologies and Software Languages Summer School (working group on data driven technological spaces, with a contributed http ...
HaGLR A Haskell based Generalized LR Parser Generator and Grammar Interpreter HaCirc Strictification and Slicing of lazy Circular Haskell Programs OCirc ...
Circular Functional Programming Circular Programs were first proposed by Richard Bird as an elegant and efficient technique to eliminate multiple traversal of data ...
Circular Programs Circular Programs were first proposed by Richard Bird as an elegant and efficient technique to eliminate multiple traversal of data structures. As ...
This is a subscription service to be automatically notified by e mail when topics change in this Personal/Joao web. This is a convenient service, so you do not have ...
Personal/Joao Web Preferences The following settings are web preferences of the Personal/Joao web. These preferences overwrite the site level preferences in ...