home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by dr. J. Saraiva

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

dr. J. Saraiva

• contact information
• my technical reports
• former member of group software technology

some publications

Guerra, M.A.R.S., Baars, A.I., Swierstra, S.D. & Saraiva, J.A.B.V. (2005). Preserving order in non-order preserving parsers. UU-CS 2005-025. onbekend: UU WINFI Informatica en Informatiekunde.

Saraiva, J.A.B.V., Swierstra, S.D. & Kuiper, M. (2000). Functional, Incremental Attribute Evaluation. In D Watt (Ed.), 9th International Conference on Compiler Construction - ETAPS'00 (pp. 279-294). Springer.

Saraiva, J.A.B.V. & Swierstra, S.D. (1999). Data Structure Free Compilation. In S. Jähnichen (Ed.), 8th International Conference on Compiler Construction Vol. 1575. Lecture Notes in Computer Science (pp. 1-16). Berlin: Springer Verlag.

Swierstra, S.D., Alcocer, A. & Saraiva, J.A.B.V. (1999). Designing and Implementing Combinator Languages. In S.D. Swiestra, P.R. Henriques & J.N. Oliveira (Eds.), Advanced Functional Programming, Third International School, AFP'98 (pp. 150-206). Berlin: Springer Verlag.

Saraiva, J.A.B.V. & Swierstra, S.D. (1999). Generic Attribute Grammars. In 2nd International Workshop on Attribute Grammars and their Applications INRIA (pp. 185-204). Rocquencourt: INRIA.

Saraiva, J.A.B.V. (1999, December 9). Purely Functional Implemantation of Attribute Grammars. Utrecht University: Computer Science (201 pag.). Prom./coprom.: prof. dr. S.D. Swierstra.

Saraiva, J.A.B.V., Swierstra, S.D. & Kuiper, M. (1999). Strictification of Computations on Trees. In 3th Latin-American Conference on Functional Programming,CLaPF'99.

Kuiper, M.F. & Saraiva, J.A.B.V. (1998). Lrc - A Generator for Incremental Language-Oriented Tools. In K. Koskimies (Ed.), 7th International Conference on Compiler Construction Vol. 1383. Lecture Notes in Computer Science (pp. 298-301).

Saraiva, J.A.B.V., Kuiper, M.F. & Swierstra, S.D. (1997). Effective function cache management for incremental attribute evaluation. In C. Clark, T. Davie & K. Hammond (Eds.), 9th International Workshop on Implementation of Functional Languages (pp. 517-528). St. Andrews, Schotland.

Saraiva, J.A.B.V., Kuiper, M.F. & Swierstra, S.D. (1997). Specializing Trees for Efficient Functional Decoration. In M. Leuschel (Ed.), ILPS97 Workshop on Specialization of Declarative Programs and its Applications (pp. 63-72).

Saraiva, J.A.B.V., Swierstra, S.D. & Kuiper, M.F. (1997). Strictification of computations on trees. UU-CS 1997-30. Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.

Saraiva, J.A.B.V., Kuiper, M.F. & Swierstra, S.D. (1996). Effective function cache management for incremental attribute evaluation. UU-CS 1996-50. Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.

Saraiva, J.A.B.V., Swierstra, S.D., Kuiper, M.F. & Pennings, M. (1996). Strictification of lazy functions. UU-CS 1996-51. Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.