Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	João
Last name:	Saraiva
DBLP:	97/3668
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 16 of 16  

Select a publication
Show	Title	Venue	Rating	Date
	Alberto Pardo, João Paulo Fernandes, João Saraiva. Shortcut fusion rules for the derivation of circular and higher-order monadic programs.	Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009 2009	(0)	2009
	Jácome Cunha, João Saraiva, Joost Visser. From spreadsheets to relational databases and back.	Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009 2009	(0)	2009
	João Carlos Silva, João Saraiva, José Creissac Campos. A generic library for GUI reasoning and testing.	Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009 2009	(0)	2009
	Don S. Batory, Maider Azanza, João Saraiva. The Objects and Arrows of Computational Design.	Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings 2008	(0)	2008
	João Paulo Fernandes, João Saraiva. Tools and libraries to model and manipulate circular programs.	Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007 2007	(0)	2007
	João Paulo Fernandes, Alberto Pardo, João Saraiva. A shortcut fusion rule for circular program calculation.	Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007 2007	(0)	2007
	Barrett R. Bryant, João Saraiva. Report on selected papers from LDTA 2003.	Sci. Comput. Program. 2007, Volume 68	(0)	2007
	João Carlos Silva, José Creissac Campos, João Saraiva. Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications.	Interactive Systems. Design, Specification, and Verification, 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers 2007	(0)	2006
	João Saraiva, S. Doaitse Swierstra. Generating Spreadsheet-Like Tools from Strong Attribute Grammars.	Generative Programming and Component Engineering, Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings 2003	(0)	2003
	João Saraiva, Sérgio Schneider. Embedding Domain Specific Languages in the Attribute Grammar Formalism.	HICSS 2003	(0)	2003
	Barrett R. Bryant, João Saraiva. Preface.	Electr. Notes Theor. Comput. Sci. 2003, Volume 82	(0)	2003
	João Saraiva. Component-Based Programming for Higher-Order Attribute Grammars.	Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings 2002	(0)	2002
	João Saraiva, S. Doaitse Swierstra, Matthijs F. Kuiper. Functional Incremental Attribute Evaluation.	Compiler Construction, 9th International Conference, CC 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, Arch 25 - April 2, 2000, Proceedings 2000	(0)	2000
	João Saraiva, S. Doaitse Swierstra. Data Structure Free Compilation.	Compiler Construction, 8th International Conference, CC'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings 1999	(0)	1999
	S. Doaitse Swierstra, Pablo R. Azero Alcocer, João Saraiva. Designing and Implementing Combinator Languages.	Advanced Functional Programming 1998	(0)	1998
	Matthijs F. Kuiper, João Saraiva. Lrc - A Generator for Incremental Language-Oriented Tools.	Compiler Construction, 7th International Conference, CC'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings 1998	(0)	1998

Your query returned 16 matches in the database.