I have: coordinated the Software Technologies and Software Languages Summer School (working group on data driven technological spaces, with a contributed http ...
Activities: I have served/will serve: in the Program Comittee for the following conferences: 22nd ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation ...
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 ...
Research Projects: Foundations, Applications and Tools for Bidirectional Transformations, FCT funded, 2011 ... Bidirectional Transformations Applied to Programming ...
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 HaCirc tool HaCirc is an Haskell refactor. It refactors circular programs into its strict counterpart. The tool accepts, as input, Haskell circular programs ...
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 ...
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 ...
HaGLR A Haskell based Generalized LR Parser Generator and Grammar Interpreter HaCirc Strictification and Slicing of lazy Circular Haskell Programs OCirc ...
Personal/Joao Web Preferences The following settings are web preferences of the Personal/Joao web. These preferences overwrite the site level preferences in ...
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 ...
Circular Functional Programming Circular Programs were first proposed by Richard Bird as an elegant and efficient technique to eliminate multiple traversal of data ...
The CircLib library The CircLib library is a Haskell based library that implements the schedulling of circular definitions. This library implements an adaptation ...
Circular Programs Circular Programs were first proposed by Richard Bird as an elegant and efficient technique to eliminate multiple traversal of data structures. As ...
Incremental Spreadsheet Interpreter One of my major research interest subjects is Adaptive and Incremental computation. An adaptive computation maintains the relationship ...
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 ...