Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: João Saraiva
@article{DBLP:journals/ese/RuaS24,
author = {Rui Rua and
Jo{\~{a}}o Saraiva},
title = {A large-scale empirical study on mobile performance: energy, run-time
and memory},
journal = {Empir. Softw. Eng.},
volume = {29},
number = {1},
pages = {31},
year = {2024},
url = {https://doi.org/10.1007/s10664-023-10391-y},
doi = {10.1007/S10664-023-10391-Y},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ese/RuaS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/swevo/GomesOS23,
author = {Phillipe V. Gomes and
Luiz Eduardo de Oliveira and
Jo{\~{a}}o Saraiva},
title = {A congestion-based local search for transmission expansion planning
problems},
journal = {Swarm Evol. Comput.},
volume = {83},
pages = {101422},
year = {2023},
url = {https://doi.org/10.1016/j.swevo.2023.101422},
doi = {10.1016/J.SWEVO.2023.101422},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/swevo/GomesOS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/RuaS23,
author = {Rui Rua and
Jo{\~{a}}o Saraiva},
title = {PyAnaDroid: {A} fully-customizable execution pipeline for benchmarking
Android Applications},
booktitle = {{IEEE} International Conference on Software Maintenance and Evolution,
{ICSME} 2023, Bogot{\'{a}}, Colombia, October 1-6, 2023},
pages = {586--591},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSME58846.2023.00077},
doi = {10.1109/ICSME58846.2023.00077},
timestamp = {Tue, 09 Jan 2024 17:27:46 +0100},
biburl = {https://dblp.org/rec/conf/icsm/RuaS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/0001BS23,
author = {Walter Lucas and
Rodrigo Bonif{\'{a}}cio and
Jo{\~{a}}o Saraiva},
title = {Understanding the Motivations, Challenges, and Practices of Software
Rejuvenation},
booktitle = {{IEEE} International Conference on Software Maintenance and Evolution,
{ICSME} 2023, Bogot{\'{a}}, Colombia, October 1-6, 2023},
pages = {611--616},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSME58846.2023.00082},
doi = {10.1109/ICSME58846.2023.00082},
timestamp = {Tue, 09 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/0001BS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MacedoRVS23,
author = {Jos{\'{e}} Nuno Macedo and
Emanuel Rodrigues and
Marcos Viera and
Jo{\~{a}}o Saraiva},
editor = {Edwin C. Brady and
Jens Palsberg},
title = {Efficient Embedding of Strategic Attribute Grammars via Memoization},
booktitle = {Proceedings of the 2023 {ACM} {SIGPLAN} International Workshop on
Partial Evaluation and Program Manipulation, {PEPM} 2023, Boston,
MA, USA, January 16-17, 2023},
pages = {41--54},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3571786.3573019},
doi = {10.1145/3571786.3573019},
timestamp = {Fri, 13 Jan 2023 14:58:59 +0100},
biburl = {https://dblp.org/rec/conf/pepm/MacedoRVS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/BarrocasSS23,
author = {Andr{\'{e}} Nobre Barrocas and
Alberto Rodrigues da Silva and
Jo{\~{a}}o Saraiva},
editor = {Jos{\'{e}} Maria Fernandes and
Guilherme H. Travassos and
Valentina Lenarduzzi and
Xiaozhou Li},
title = {Exploring Data Analysis and Visualization Techniques for Project Tracking:
Insights from the {ITC}},
booktitle = {Quality of Information and Communications Technology - 16th International
Conference, {QUATIC} 2023, Aveiro, Portugal, September 11-13, 2023,
Proceedings},
series = {Communications in Computer and Information Science},
volume = {1871},
pages = {147--162},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43703-8\_11},
doi = {10.1007/978-3-031-43703-8\_11},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/quatic/BarrocasSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/RibeiroMT0S23,
author = {Francisco Ribeiro and
Jos{\'{e}} Nuno Castro de Macedo and
Kanae Tsushima and
Rui Abreu and
Jo{\~{a}}o Saraiva},
editor = {Jo{\~{a}}o Saraiva and
Thomas Degueule and
Elizabeth Scott},
title = {GPT-3-Powered Type Error Debugging: Investigating the Use of Large
Language Models for Code Repair},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Conference on
Software Language Engineering, {SLE} 2023, Cascais, Portugal, October
23-24, 2023},
pages = {111--124},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3623476.3623522},
doi = {10.1145/3623476.3623522},
timestamp = {Mon, 23 Oct 2023 17:33:15 +0200},
biburl = {https://dblp.org/rec/conf/sle/RibeiroMT0S23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sle/2023,
editor = {Jo{\~{a}}o Saraiva and
Thomas Degueule and
Elizabeth Scott},
title = {Proceedings of the 16th {ACM} {SIGPLAN} International Conference on
Software Language Engineering, {SLE} 2023, Cascais, Portugal, October
23-24, 2023},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3623476},
doi = {10.1145/3623476},
timestamp = {Mon, 23 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sle/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/MacedoVS22,
author = {Jos{\'{e}} Nuno Macedo and
Marcos Viera and
Jo{\~{a}}o Saraiva},
editor = {Michael Hanus and
Atsushi Igarashi},
title = {Zipping Strategies and Attribute Grammars},
booktitle = {Functional and Logic Programming - 16th International Symposium, {FLOPS}
2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13215},
pages = {112--132},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99461-7\_7},
doi = {10.1007/978-3-030-99461-7\_7},
timestamp = {Thu, 05 May 2022 15:21:56 +0200},
biburl = {https://dblp.org/rec/conf/flops/MacedoVS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse-apr/Ribeiro0S22,
author = {Francisco Ribeiro and
Rui Abreu and
Jo{\~{a}}o Saraiva},
title = {Framing Program Repair as Code Completion},
booktitle = {3rd {IEEE/ACM} International Workshop on Automated Program Repair,
APR@ICSE 2022, Pittsburgh, PA, USA, May 19, 2022},
pages = {38--45},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1145/3524459.3527347},
doi = {10.1145/3524459.3527347},
timestamp = {Mon, 11 Jul 2022 12:32:43 +0200},
biburl = {https://dblp.org/rec/conf/icse-apr/Ribeiro0S22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ict4s/Macedo0PS22,
author = {Jo{\~{a}}o de Macedo and
Rui Abreu and
Rui Pereira and
Jo{\~{a}}o Saraiva},
title = {WebAssembly versus JavaScript: Energy and Runtime Performance},
booktitle = {International Conference on {ICT} for Sustainability, {ICT4S} 2022,
Plovdiv, Bulgaria, June 13-17, 2022},
pages = {24--34},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICT4S55073.2022.00014},
doi = {10.1109/ICT4S55073.2022.00014},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ict4s/Macedo0PS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isda/AjelRES22,
author = {Salwa Ajel and
Francisco Ribeiro and
Ridha Ejbali and
Jo{\~{a}}o Saraiva},
editor = {Ajith Abraham and
Sabri Pllana and
Gabriella Casalino and
Kun Ma and
Anu Bajaj},
title = {Energy Efficiency of Python Machine Learning Frameworks},
booktitle = {Intelligent Systems Design and Applications - 22nd International Conference
on Intelligent Systems Design and Applications {(ISDA} 2022) Held
December 12-14, 2022 - Volume 2},
series = {Lecture Notes in Networks and Systems},
volume = {715},
pages = {586--595},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-35507-3\_57},
doi = {10.1007/978-3-031-35507-3\_57},
timestamp = {Thu, 22 Feb 2024 09:42:25 +0100},
biburl = {https://dblp.org/rec/conf/isda/AjelRES22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RuaS22,
author = {Rui Rua and
Jo{\~{a}}o Saraiva},
title = {{E-MANAFA:} Energy Monitoring and ANAlysis tool For Android},
booktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2022, Rochester, MI, USA, October 10-14, 2022},
pages = {202:1--202:4},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551349.3561342},
doi = {10.1145/3551349.3561342},
timestamp = {Mon, 09 Jan 2023 09:16:02 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RuaS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-11399,
author = {N{\'{e}}lson Gon{\c{c}}alves and
Rui Rua and
J{\'{a}}come Cunha and
Rui Pereira and
Jo{\~{a}}o Saraiva},
title = {Energy Efficiency of Web Browsers in the Android Ecosystem},
journal = {CoRR},
volume = {abs/2205.11399},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.11399},
doi = {10.48550/ARXIV.2205.11399},
eprinttype = {arXiv},
eprint = {2205.11399},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-11399.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PereiraCRRCFS21,
author = {Rui Pereira and
Marco Couto and
Francisco Ribeiro and
Rui Rua and
J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Jo{\~{a}}o Saraiva},
title = {Ranking programming languages by energy efficiency},
journal = {Sci. Comput. Program.},
volume = {205},
pages = {102609},
year = {2021},
url = {https://doi.org/10.1016/j.scico.2021.102609},
doi = {10.1016/J.SCICO.2021.102609},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/PereiraCRRCFS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/SaraivaZP21,
author = {Jo{\~{a}}o Saraiva and
Ziliang Zong and
Rui Pereira},
editor = {Carsten Schulte and
Brett A. Becker and
Monica Divitini and
Erik Barendsen},
title = {Bringing Green Software to Computer Science Curriculum: Perspectives
from Researchers and Educators},
booktitle = {ITiCSE '21: Proceedings of the 26th {ACM} Conference on Innovation
and Technology in Computer Science Education V.1, Virtual Event, Germany,
June 26 - July 1, 2021},
pages = {498--504},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3430665.3456386},
doi = {10.1145/3430665.3456386},
timestamp = {Tue, 13 Sep 2022 16:33:17 +0200},
biburl = {https://dblp.org/rec/conf/iticse/SaraivaZP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MacedoAPS21,
author = {Jo{\~{a}}o de Macedo and
Rui Abreu and
Rui Pereira and
Jo{\~{a}}o Saraiva},
title = {On the Runtime and Energy Performance of WebAssembly: Is WebAssembly
superior to JavaScript yet?},
booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2021 - Workshops, Melbourne, Australia, November 15-19, 2021},
pages = {255--262},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ASEW52652.2021.00056},
doi = {10.1109/ASEW52652.2021.00056},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/MacedoAPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/RibeiroAS21,
author = {Francisco Ribeiro and
Rui Abreu and
Jo{\~{a}}o Saraiva},
title = {On Understanding Contextual Changes of Failures},
booktitle = {21st {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2021, Hainan, China, December 6-10, 2021},
pages = {1036--1047},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/QRS54544.2021.00112},
doi = {10.1109/QRS54544.2021.00112},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/RibeiroAS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BritoCS21,
author = {Miguel A. Brito and
J{\'{a}}come Cunha and
Jo{\~{a}}o Saraiva},
editor = {Chih{-}Cheng Hung and
Jiman Hong and
Alessio Bechini and
Eunjee Song},
title = {Identification of microservices from monolithic applications through
topic modelling},
booktitle = {{SAC} '21: The 36th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, Republic of Korea, March 22-26, 2021},
pages = {1409--1418},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3412841.3442016},
doi = {10.1145/3412841.3442016},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/BritoCS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/21/Feitosa00F0S21,
author = {Daniel Feitosa and
Lu{\'{\i}}s Cruz and
Rui Abreu and
Jo{\~{a}}o Paulo Fernandes and
Marco Couto and
Jo{\~{a}}o Saraiva},
editor = {Coral Calero and
Mar{\'{\i}}a {\'{A}}ngeles Moraga and
Mario Piattini},
title = {Patterns and Energy Consumption: Design, Implementation, Studies,
and Stories},
booktitle = {Software Sustainability},
pages = {89--121},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-69970-3\_5},
doi = {10.1007/978-3-030-69970-3\_5},
timestamp = {Mon, 06 Nov 2023 15:27:23 +0100},
biburl = {https://dblp.org/rec/books/sp/21/Feitosa00F0S21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-03028,
author = {Rui Abreu and
Marco Couto and
Lu{\'{\i}}s Cruz and
J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Rui Pereira and
Alexandre Perez and
Jo{\~{a}}o Saraiva},
title = {Green Software Lab: Towards an Engineering Discipline for Green Software},
journal = {CoRR},
volume = {abs/2108.03028},
year = {2021},
url = {https://arxiv.org/abs/2108.03028},
eprinttype = {arXiv},
eprint = {2108.03028},
timestamp = {Mon, 20 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-03028.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-07902,
author = {Jos{\'{e}} Nuno Macedo and
Marcos Viera and
Jo{\~{a}}o Saraiva},
title = {Zipping Strategies and Attribute Grammars},
journal = {CoRR},
volume = {abs/2110.07902},
year = {2021},
url = {https://arxiv.org/abs/2110.07902},
eprinttype = {arXiv},
eprint = {2110.07902},
timestamp = {Fri, 22 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-07902.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jserd/MendoncaFLMBCLS20,
author = {Walter Lucas Monteiro de Mendon{\c{c}}a and
Jos{\'{e}} Fortes and
Francisco Vitor Lopes and
Diego Marcilio and
Rodrigo Bonif{\'{a}}cio and
Edna Dias Canedo and
Fernanda Lima and
Jo{\~{a}}o Saraiva},
title = {Understanding the Impact of Introducing Lambda Expressions in Java
Programs},
journal = {J. Softw. Eng. Res. Dev.},
volume = {8},
year = {2020},
url = {https://doi.org/10.5753/jserd.2020.744},
doi = {10.5753/JSERD.2020.744},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jserd/MendoncaFLMBCLS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/PereiraCCCFS20,
author = {Rui Pereira and
Tiago Car{\c{c}}{\~{a}}o and
Marco Couto and
J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Jo{\~{a}}o Saraiva},
title = {SPELLing out energy leaks: Aiding developers locate energy inefficient
code},
journal = {J. Syst. Softw.},
volume = {161},
year = {2020},
url = {https://doi.org/10.1016/j.jss.2019.110463},
doi = {10.1016/J.JSS.2019.110463},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/PereiraCCCFS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/ZhuKZMSH20,
author = {Zirun Zhu and
Hsiang{-}Shang Ko and
Yongzhe Zhang and
Pedro Martins and
Jo{\~{a}}o Saraiva and
Zhenjiang Hu},
title = {Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars},
journal = {New Gener. Comput.},
volume = {38},
number = {3},
pages = {423--476},
year = {2020},
url = {https://doi.org/10.1007/s00354-019-00082-y},
doi = {10.1007/S00354-019-00082-Y},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/ZhuKZMSH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/MacedoS20,
author = {Jos{\'{e}} Nuno Macedo and
Jo{\~{a}}o Saraiva},
editor = {Osvaldo Gervasi and
Beniamino Murgante and
Sanjay Misra and
Chiara Garau and
Ivan Blecic and
David Taniar and
Bernady O. Apduhan and
Ana Maria A. C. Rocha and
Eufemia Tarantino and
Carmelo Maria Torre and
Yeliz Karaca},
title = {InDubio: {A} Combinator Library to Disambiguate Ambiguous Grammars},
booktitle = {Computational Science and Its Applications - {ICCSA} 2020 - 20th International
Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {12252},
pages = {1002--1018},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58811-3\_71},
doi = {10.1007/978-3-030-58811-3\_71},
timestamp = {Tue, 06 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccsa/MacedoS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/0001MSP20,
author = {Marco Couto and
Daniel Maia and
Jo{\~{a}}o Saraiva and
Rui Pereira},
editor = {Clemente Izurieta and
Matthias Galster and
Michael Felderer},
title = {On energy debt: managing consumption on evolving software},
booktitle = {TechDebt '20: International Conference on Technical Debt, Seoul, Republic
of Korea, June 28-30, 2020},
pages = {62--66},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3387906.3388628},
doi = {10.1145/3387906.3388628},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/0001MSP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RuaF0S20,
author = {Rui Rua and
Tiago Fraga and
Marco Couto and
Jo{\~{a}}o Saraiva},
editor = {David Lo and
Leonardo Mariani and
Ali Mesbah},
title = {Greenspecting Android virtual keyboards},
booktitle = {MOBILESoft '20: {IEEE/ACM} 7th International Conference on Mobile
Software Engineering and Systems, Seoul, Republic of Korea, July 13-15,
2020},
pages = {98--108},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3387905.3388600},
doi = {10.1145/3387905.3388600},
timestamp = {Thu, 27 Jul 2023 16:07:53 +0200},
biburl = {https://dblp.org/rec/conf/icse/RuaF0S20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MacedoAGPS20,
author = {Jo{\~{a}}o de Macedo and
Jo{\~{a}}o Alo{\'{\i}}sio and
Nelson Gon{\c{c}}alves and
Rui Pereira and
Jo{\~{a}}o Saraiva},
editor = {John Grundy and
Claire Le Goues and
David Lo},
title = {Energy wars - Chrome vs. Firefox: which browser is more energy efficient?},
booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering
Workshops, {ASE} Workshops 2020, Melbourne, Australia, September 21-25,
2020},
pages = {159--165},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3417113.3423000},
doi = {10.1145/3417113.3423000},
timestamp = {Fri, 12 Feb 2021 15:16:32 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MacedoAGPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Maia0SP20,
author = {Daniel Maia and
Marco Couto and
Jo{\~{a}}o Saraiva and
Rui Pereira},
editor = {John Grundy and
Claire Le Goues and
David Lo},
title = {E-Debitum: managing software energy debt},
booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering
Workshops, {ASE} Workshops 2020, Melbourne, Australia, September 21-25,
2020},
pages = {170--177},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3417113.3422999},
doi = {10.1145/3417113.3422999},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Maia0SP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MacedoS20,
author = {Jos{\'{e}} Nuno Macedo and
Jo{\~{a}}o Saraiva},
editor = {Chih{-}Cheng Hung and
Tom{\'{a}}s Cern{\'{y}} and
Dongwan Shin and
Alessio Bechini},
title = {Expressing disambiguation filters as combinators},
booktitle = {{SAC} '20: The 35th {ACM/SIGAPP} Symposium on Applied Computing, online
event, [Brno, Czech Republic], March 30 - April 3, 2020},
pages = {1348--1351},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3341105.3374123},
doi = {10.1145/3341105.3374123},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/MacedoS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/0001SF20,
author = {Marco Couto and
Jo{\~{a}}o Saraiva and
Jo{\~{a}}o Paulo Fernandes},
editor = {Kostas Kontogiannis and
Foutse Khomh and
Alexander Chatzigeorgiou and
Marios{-}Eleftherios Fokaefs and
Minghui Zhou},
title = {Energy Refactorings for Android in the Large and in the Wild},
booktitle = {27th {IEEE} International Conference on Software Analysis, Evolution
and Reengineering, {SANER} 2020, London, ON, Canada, February 18-21,
2020},
pages = {217--228},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SANER48275.2020.9054858},
doi = {10.1109/SANER48275.2020.9054858},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcre/0001SF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FernandesMPSV19,
author = {Jo{\~{a}}o Paulo Fernandes and
Pedro Martins and
Alberto Pardo and
Jo{\~{a}}o Saraiva and
Marcos Viera},
title = {Memoized zipper-based attribute grammars and their higher order extension},
journal = {Sci. Comput. Program.},
volume = {173},
pages = {71--94},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2018.10.006},
doi = {10.1016/J.SCICO.2018.10.006},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/FernandesMPSV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/PereiraCCMSF19,
author = {Rui Pereira and
Marco Couto and
J{\'{a}}come Cunha and
Gilberto Melfe and
Jo{\~{a}}o Saraiva and
Jo{\~{a}}o Paulo Fernandes},
editor = {Zolt{\'{a}}n Porkol{\'{a}}b and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Paint Your Programs Green: On the Energy Efficiency of Data Structures},
booktitle = {Composability, Comprehensibility and Correctness of Working Software
- 8th Summer School, {CEFP} 2019, Budapest, Hungary, June 17-21, 2019,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11950},
pages = {53--76},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-031-42833-3\_2},
doi = {10.1007/978-3-031-42833-3\_2},
timestamp = {Fri, 20 Oct 2023 17:04:57 +0200},
biburl = {https://dblp.org/rec/conf/cefp/PereiraCCMSF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/SaraivaP19,
author = {Jo{\~{a}}o Saraiva and
Rui Pereira},
editor = {Zolt{\'{a}}n Porkol{\'{a}}b and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Energy Efficient Software in an Engineering Course},
booktitle = {Composability, Comprehensibility and Correctness of Working Software
- 8th Summer School, {CEFP} 2019, Budapest, Hungary, June 17-21, 2019,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11950},
pages = {77--97},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-031-42833-3\_3},
doi = {10.1007/978-3-031-42833-3\_3},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/SaraivaP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cibse/MacedoMCS19,
author = {Jos{\'{e}} Nuno Macedo and
Ricardo Moreira and
J{\'{a}}come Cunha and
Jo{\~{a}}o Saraiva},
editor = {Beatriz Mar{\'{\i}}n and
Isabel Sofia Brito and
Miguel Katrib Mora and
Andreia Malucelli and
Estefan{\'{\i}}a Serral and
Giovanni Giachetti and
Jo{\~{a}}o Ara{\'{u}}jo and
Miguel Goul{\~{a}}o and
Claudia P. Ayala and
Marcela Genero and
Vitor Silva Souza},
title = {Get Your Spreadsheets Under (Version) Control},
booktitle = {Proceedings of the {XXII} Iberoamerican Conference on Software Engineering,
CIbSE 2019, La Habana, Cuba, April 22-26, 2019},
pages = {100--113},
publisher = {Curran Associates},
year = {2019},
timestamp = {Thu, 08 Aug 2019 07:43:32 +0200},
biburl = {https://dblp.org/rec/conf/cibse/MacedoMCS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cibse/RuaCPCS19,
author = {Rui Rua and
Marco Couto and
Adriano Pinto and
J{\'{a}}come Cunha and
Jo{\~{a}}o Saraiva},
editor = {Beatriz Mar{\'{\i}}n and
Isabel Sofia Brito and
Miguel Katrib Mora and
Andreia Malucelli and
Estefan{\'{\i}}a Serral and
Giovanni Giachetti and
Jo{\~{a}}o Ara{\'{u}}jo and
Miguel Goul{\~{a}}o and
Claudia P. Ayala and
Marcela Genero and
Vitor Silva Souza},
title = {Towards using Memoization for Saving Energy in Android},
booktitle = {Proceedings of the {XXII} Iberoamerican Conference on Software Engineering,
CIbSE 2019, La Habana, Cuba, April 22-26, 2019},
pages = {279--292},
publisher = {Curran Associates},
year = {2019},
timestamp = {Wed, 07 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cibse/RuaCPCS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/Rua0S19,
author = {Rui Rua and
Marco Couto and
Jo{\~{a}}o Saraiva},
editor = {Margaret{-}Anne D. Storey and
Bram Adams and
Sonia Haiduc},
title = {GreenSource: a large-scale collection of Android code, tests and energy
metrics},
booktitle = {Proceedings of the 16th International Conference on Mining Software
Repositories, {MSR} 2019, 26-27 May 2019, Montreal, Canada},
pages = {176--180},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/MSR.2019.00035},
doi = {10.1109/MSR.2019.00035},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/msr/Rua0S19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/RibeiroSP19,
author = {Francisco Ribeiro and
Jo{\~{a}}o Saraiva and
Alberto Pardo},
title = {Java Stream Fusion: Adapting {FP} mechanisms for an {OO} setting},
booktitle = {Proceedings of the {XXIII} Brazilian Symposium on Programming Languages,
{SBLP} 2019, Salvador, Brazil, September 23-27, 2019},
pages = {30--37},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3355378.3355386},
doi = {10.1145/3355378.3355386},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sblp/RibeiroSP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PereiraSCS18,
author = {Rui Pereira and
Pedro Sim{\~{a}}o and
J{\'{a}}come Cunha and
Jo{\~{a}}o Saraiva},
editor = {Marianne Huchard and
Christian K{\"{a}}stner and
Gordon Fraser},
title = {jStanley: placing a green thumb on Java collections},
booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
2018},
pages = {856--859},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3238147.3240473},
doi = {10.1145/3238147.3240473},
timestamp = {Thu, 23 Jun 2022 19:54:17 +0200},
biburl = {https://dblp.org/rec/conf/kbse/PereiraSCS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sqamia/Pereira0RRS18,
author = {Rui Pereira and
Marco Couto and
Francisco Ribeiro and
Rui Rua and
Jo{\~{a}}o Saraiva},
editor = {Zoran Budimac},
title = {Energyware Analysis},
booktitle = {Proceedings of the Seventh Workshop on Software Quality Analysis,
Monitoring, Improvement, and Applications, {SQAMIA} 2018, Novi Sad,
Serbia, August 27-30, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2217},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2217/paper-per.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:29 +0100},
biburl = {https://dblp.org/rec/conf/sqamia/Pereira0RRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/greens/2018,
editor = {Ivano Malavolta and
Rick Kazman and
Jo{\~{a}}o Saraiva},
title = {Proceedings of the 6th International Workshop on Green and Sustainable
Software, GREENS@ICSE 2018, Gothenburg, Sweden, May 27, 2018},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194078},
doi = {10.1145/3194078},
isbn = {978-1-4503-5732-6},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/greens/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PereiraC0CFS17,
author = {Rui Pereira and
Tiago Car{\c{c}}{\~{a}}o and
Marco Couto and
J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Jo{\~{a}}o Saraiva},
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
title = {Helping programmers improve the energy efficiency of source code},
booktitle = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion
Volume},
pages = {238--240},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSE-C.2017.80},
doi = {10.1109/ICSE-C.2017.80},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/PereiraC0CFS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MendesCDES017,
author = {Jorge Mendes and
J{\'{a}}come Cunha and
Francisco J. Duarte and
Gregor Engels and
Jo{\~{a}}o Saraiva and
Stefan Sauer},
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
title = {Towards systematic spreadsheet construction processes},
booktitle = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion
Volume},
pages = {356--358},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSE-C.2017.141},
doi = {10.1109/ICSE-C.2017.141},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MendesCDES017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/0001PRRS17,
author = {Marco Couto and
Rui Pereira and
Francisco Ribeiro and
Rui Rua and
Jo{\~{a}}o Saraiva},
editor = {Fabio Mascarenhas},
title = {Towards a Green Ranking for Programming Languages},
booktitle = {Proceedings of the 21st Brazilian Symposium on Programming Languages,
{SBLP} 2017, Fortaleza, CE, Brazil, September 21-22, 2017},
pages = {7:1--7:8},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3125374.3125382},
doi = {10.1145/3125374.3125382},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sblp/0001PRRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/Pereira0RRCFS17,
author = {Rui Pereira and
Marco Couto and
Francisco Ribeiro and
Rui Rua and
J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Jo{\~{a}}o Saraiva},
editor = {Beno{\^{\i}}t Combemale and
Marjan Mernik and
Bernhard Rumpe},
title = {Energy efficiency across programming languages: how do energy, time,
and memory relate?},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
Software Language Engineering, {SLE} 2017, Vancouver, BC, Canada,
October 23-24, 2017},
pages = {256--267},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3136014.3136031},
doi = {10.1145/3136014.3136031},
timestamp = {Thu, 21 Apr 2022 11:12:19 +0200},
biburl = {https://dblp.org/rec/conf/sle/Pereira0RRCFS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/0001BCFPS17,
author = {Marco Couto and
Paulo Borba and
J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Rui Pereira and
Jo{\~{a}}o Saraiva},
editor = {Myra B. Cohen and
Mathieu Acher and
Lidia Fuentes and
Daniel Schall and
Jan Bosch and
Rafael Capilla and
Ebrahim Bagheri and
Yingfei Xiong and
Javier Troya and
Antonio Ruiz Cort{\'{e}}s and
David Benavides},
title = {Products go Green: Worst-Case Energy Consumption in Software Product
Lines},
booktitle = {Proceedings of the 21st International Systems and Software Product
Line Conference, {SPLC} 2017, Volume A, Sevilla, Spain, September
25-29, 2017},
pages = {84--93},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106195.3106214},
doi = {10.1145/3106195.3106214},
timestamp = {Wed, 28 Oct 2020 08:39:41 +0100},
biburl = {https://dblp.org/rec/conf/splc/0001BCFPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sqamia/SantosSPK17,
author = {M{\'{a}}rio Santos and
Jo{\~{a}}o Saraiva and
Zolt{\'{a}}n Porkol{\'{a}}b and
D{\'{a}}niel Krupp},
editor = {Zoran Budimac},
title = {Energy Consumption Measurement of {C/C++} Programs Using Clang Tooling},
booktitle = {Proceedings of the Sixth Workshop on Software Quality Analysis, Monitoring,
Improvement, and Applications, Belgrade, Serbia, September 11-13,
2017},
series = {{CEUR} Workshop Proceedings},
volume = {1938},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1938/paper-san.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:29 +0100},
biburl = {https://dblp.org/rec/conf/sqamia/SantosSPK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/MendesCDES017,
author = {Jorge Mendes and
J{\'{a}}come Cunha and
Francisco J. Duarte and
Gregor Engels and
Jo{\~{a}}o Saraiva and
Stefan Sauer},
editor = {Austin Z. Henley and
Peter Rogers and
Anita Sarma},
title = {Systematic spreadsheet construction processes},
booktitle = {2017 {IEEE} Symposium on Visual Languages and Human-Centric Computing,
{VL/HCC} 2017, Raleigh, NC, USA, October 11-14, 2017},
pages = {123--127},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/VLHCC.2017.8103459},
doi = {10.1109/VLHCC.2017.8103459},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/MendesCDES017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gttse/2015,
editor = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Ralf L{\"{a}}mmel and
Jo{\~{a}}o Saraiva and
Vadim Zaytsev},
title = {Grand Timely Topics in Software Engineering - International Summer
School {GTTSE} 2015, Braga, Portugal, August 23-29, 2015, Tutorial
Lectures},
series = {Lecture Notes in Computer Science},
volume = {10223},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60074-1},
doi = {10.1007/978-3-319-60074-1},
isbn = {978-3-319-60073-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gttse/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MendesS17,
author = {Jorge Mendes and
Jo{\~{a}}o Saraiva},
title = {Tabula: {A} Language to Model Spreadsheet Tables},
journal = {CoRR},
volume = {abs/1707.02833},
year = {2017},
url = {http://arxiv.org/abs/1707.02833},
eprinttype = {arXiv},
eprint = {1707.02833},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MendesS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/CunhaEMS16,
author = {J{\'{a}}come Cunha and
Martin Erwig and
Jorge Mendes and
Jo{\~{a}}o Saraiva},
title = {Model inference for spreadsheets},
journal = {Autom. Softw. Eng.},
volume = {23},
number = {3},
pages = {361--392},
year = {2016},
url = {https://doi.org/10.1007/s10515-014-0167-x},
doi = {10.1007/S10515-014-0167-X},
timestamp = {Tue, 08 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/CunhaEMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijebr/FortesMS16,
author = {Nuno Fortes and
Ant{\'{o}}nio Carrizo Moreira and
Jo{\~{a}}o Saraiva},
title = {Determinants of Consumer Intention to Use Online Gambling Services:
An Empirical Study of the Portuguese Market},
journal = {Int. J. {E} Bus. Res.},
volume = {12},
number = {4},
pages = {23--37},
year = {2016},
url = {https://doi.org/10.4018/IJEBR.2016100102},
doi = {10.4018/IJEBR.2016100102},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijebr/FortesMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CunhaFMMPS16,
author = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Pedro Martins and
Jorge Mendes and
Rui Pereira and
Jo{\~{a}}o Saraiva},
title = {Evaluating refactorings for spreadsheet models},
journal = {J. Syst. Softw.},
volume = {118},
pages = {234--250},
year = {2016},
url = {https://doi.org/10.1016/j.jss.2016.04.043},
doi = {10.1016/J.JSS.2016.04.043},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/CunhaFMMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MartinsFSWS16,
author = {Pedro Martins and
Jo{\~{a}}o Paulo Fernandes and
Jo{\~{a}}o Saraiva and
Eric Van Wyk and
Anthony Sloane},
title = {Embedding attribute grammars and their extensions using functional
zippers},
journal = {Sci. Comput. Program.},
volume = {132},
pages = {2--28},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.03.005},
doi = {10.1016/J.SCICO.2016.03.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MartinsFSWS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PardoFS16,
author = {Alberto Pardo and
Jo{\~{a}}o Paulo Fernandes and
Jo{\~{a}}o Saraiva},
title = {Multiple intermediate structure deforestation by shortcut fusion},
journal = {Sci. Comput. Program.},
volume = {132},
pages = {77--95},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.07.004},
doi = {10.1016/J.SCICO.2016.07.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/PardoFS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/greens/PereiraCSCF16,
author = {Rui Pereira and
Marco Couto and
Jo{\~{a}}o Saraiva and
J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes},
title = {The influence of the Java collection framework on overall energy consumption},
booktitle = {Proceedings of the 5th International Workshop on Green and Sustainable
Software, GREENS@ICSE 2016, Austin, Texas, USA, May 16, 2016},
pages = {15--21},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2896967.2896968},
doi = {10.1145/2896967.2896968},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/greens/PereiraCSCF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/PereiraSCF16,
author = {Rui Pereira and
Jo{\~{a}}o Saraiva and
J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes},
editor = {Sascha Ossowski},
title = {User-friendly spreadsheet querying: an empirical study},
booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
Pisa, Italy, April 4-8, 2016},
pages = {202--204},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851613.2851910},
doi = {10.1145/2851613.2851910},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/PereiraSCF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/Fernandes0PSV16,
author = {Jo{\~{a}}o Paulo Fernandes and
Pedro Martins and
Alberto Pardo and
Jo{\~{a}}o Saraiva and
Marcos Viera},
editor = {Fernando Castor and
Yu David Liu},
title = {Memoized Zipper-Based Attribute Grammars},
booktitle = {Programming Languages - 20th Brazilian Symposium, {SBLP} 2016, Maring{\'{a}},
Brazil, September 22-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9889},
pages = {46--61},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45279-1\_4},
doi = {10.1007/978-3-319-45279-1\_4},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/sblp/Fernandes0PSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/ZhuZK0SH16,
author = {Zirun Zhu and
Yongzhe Zhang and
Hsiang{-}Shang Ko and
Pedro Martins and
Jo{\~{a}}o Saraiva and
Zhenjiang Hu},
editor = {Tijs van der Storm and
Emilie Balland and
D{\'{a}}niel Varr{\'{o}}},
title = {Parsing and reflective printing, bidirectionally},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Software Language Engineering, Amsterdam, The Netherlands, October
31 - November 1, 2016},
pages = {2--14},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2997369},
timestamp = {Tue, 06 Nov 2018 11:07:20 +0100},
biburl = {https://dblp.org/rec/conf/sle/ZhuZK0SH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/MendesDS16,
author = {Jorge Mendes and
Kha N. Do and
Jo{\~{a}}o Saraiva},
editor = {Paolo Milazzo and
D{\'{a}}niel Varr{\'{o}} and
Manuel Wimmer},
title = {Towards an Automated Classification of Spreadsheets},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2016
Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna,
Austria, July 4-8, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9946},
pages = {346--355},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-50230-4\_26},
doi = {10.1007/978-3-319-50230-4\_26},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/staf/MendesDS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PereiraCCFS16,
author = {Rui Pereira and
Marco Couto and
J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Jo{\~{a}}o Saraiva},
title = {The Influence of the Java Collection Framework on Overall Energy Consumption},
journal = {CoRR},
volume = {abs/1602.00984},
year = {2016},
url = {http://arxiv.org/abs/1602.00984},
eprinttype = {arXiv},
eprint = {1602.00984},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PereiraCCFS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CunhaFMS15,
author = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Jorge Mendes and
Jo{\~{a}}o Saraiva},
title = {Embedding, Evolution, and Validation of Model-Driven Spreadsheets},
journal = {{IEEE} Trans. Software Eng.},
volume = {41},
number = {3},
pages = {241--263},
year = {2015},
url = {https://doi.org/10.1109/TSE.2014.2361141},
doi = {10.1109/TSE.2014.2361141},
timestamp = {Tue, 08 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CunhaFMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/FernandesCSP15,
author = {Jo{\~{a}}o Paulo Fernandes and
J{\'{a}}come Cunha and
Jo{\~{a}}o Saraiva and
Alberto Pardo},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Porkol{\'{a}}b and
Zolt{\'{a}}n Horv{\'{a}}th},
title = {Watch Out for that Tree! {A} Tutorial on Shortcut Deforestation},
booktitle = {Central European Functional Programming School - 6th Summer School,
{CEFP} 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10094},
pages = {1--41},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-030-28346-9\_1},
doi = {10.1007/978-3-030-28346-9\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/FernandesCSP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsdis/BeloGS15,
author = {Orlando Belo and
Ricardo Gon{\c{c}}alves and
Jo{\~{a}}o Saraiva},
title = {Establishing Energy Consumption Plans for Green Star-Queries in Data
Warehousing Systems},
booktitle = {{IEEE} International Conference on Data Science and Data Intensive
Systems, {DSDIS} 2015, Sydney, Australia, December 11-13, 2015},
pages = {226--231},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/DSDIS.2015.108},
doi = {10.1109/DSDIS.2015.108},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsdis/BeloGS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MaiaMCRS15,
author = {Pedro Maia and
Jorge Mendes and
J{\'{a}}come Cunha and
Henrique Reb{\^{e}}lo and
Jo{\~{a}}o Saraiva},
editor = {Felienne Hermans and
Richard F. Paige and
Peter Sestoft},
title = {Towards the Design and Implementation of Aspect-Oriented Programming
for Spreadsheets},
booktitle = {Proceedings of the Second Workshop on Software Engineering Methods
in Spreadsheets co-located with the 37th International Conference
on Software Engineering {(ICSE} 2015) , Florence, Italy, May 18, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1355},
pages = {7--13},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1355/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:12 +0100},
biburl = {https://dblp.org/rec/conf/icse/MaiaMCRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AlmeidaCS015,
author = {Diogo Almeida and
Jos{\'{e}} Creissac Campos and
Jo{\~{a}}o Saraiva and
Jo{\~{a}}o Carlos Silva},
editor = {Roger L. Wainwright and
Juan Manuel Corchado and
Alessio Bechini and
Jiman Hong},
title = {Towards a catalog of usability smells},
booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
Salamanca, Spain, April 13-17, 2015},
pages = {175--181},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2695664.2695670},
doi = {10.1145/2695664.2695670},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/AlmeidaCS015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/ZhuK0SH15,
author = {Zirun Zhu and
Hsiang{-}Shang Ko and
Pedro Martins and
Jo{\~{a}}o Saraiva and
Zhenjiang Hu},
editor = {Alcino Cunha and
Ekkart Kindler},
title = {BiYacc: Roll Your Parser and Reflective Printer into One},
booktitle = {Proceedings of the 4th International Workshop on Bidirectional Transformations
co-located with Software Technologies: Applications and Foundations,
{STAF} 2015, L'Aquila, Italy, July 24, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1396},
pages = {43--50},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1396/p43-zhu.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/ZhuK0SH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CunhaFPS15,
author = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Rui Pereira and
Jo{\~{a}}o Saraiva},
title = {Querying Spreadsheets: An Empirical Study},
journal = {CoRR},
volume = {abs/1502.07948},
year = {2015},
url = {http://arxiv.org/abs/1502.07948},
eprinttype = {arXiv},
eprint = {1502.07948},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CunhaFPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MaiaMCRS15,
author = {Pedro Maia and
Jorge Mendes and
J{\'{a}}come Cunha and
Henrique Reb{\^{e}}lo and
Jo{\~{a}}o Saraiva},
title = {Towards the Design and Implementation of Aspect-Oriented Programming
for Spreadsheets},
journal = {CoRR},
volume = {abs/1503.03463},
year = {2015},
url = {http://arxiv.org/abs/1503.03463},
eprinttype = {arXiv},
eprint = {1503.03463},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MaiaMCRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CunhaMSV14,
author = {J{\'{a}}come Cunha and
Jorge Mendes and
Jo{\~{a}}o Saraiva and
Joost Visser},
title = {Model-based programming environments for spreadsheets},
journal = {Sci. Comput. Program.},
volume = {96},
pages = {254--275},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.02.002},
doi = {10.1016/J.SCICO.2014.02.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CunhaMSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bdcloud/GoncalvesSB14,
author = {Ricardo Gon{\c{c}}alves and
Jo{\~{a}}o Saraiva and
Orlando Belo},
title = {Defining Energy Consumption Plans for Data Querying Processes},
booktitle = {2014 {IEEE} Fourth International Conference on Big Data and Cloud
Computing, BDCloud 2014, Sydney, Australia, December 3-5, 2014},
pages = {641--647},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/BDCloud.2014.109},
doi = {10.1109/BDCLOUD.2014.109},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bdcloud/GoncalvesSB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/CunhaFPS14,
author = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Rui Pereira and
Jo{\~{a}}o Saraiva},
editor = {Sakae Yamamoto},
title = {Graphical Querying of Model-Driven Spreadsheets},
booktitle = {Human Interface and the Management of Information. Information and
Knowledge Design and Evaluation - 16th International Conference, {HCI}
International 2014, Heraklion, Crete, Greece, June 22-27, 2014. Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8521},
pages = {419--430},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07731-4\_42},
doi = {10.1007/978-3-319-07731-4\_42},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/hci/CunhaFPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/AbreuCFMPS14,
author = {Rui Abreu and
J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Pedro Martins and
Alexandre Perez and
Jo{\~{a}}o Saraiva},
title = {Smelling Faults in Spreadsheets},
booktitle = {30th {IEEE} International Conference on Software Maintenance and Evolution,
Victoria, BC, Canada, September 29 - October 3, 2014},
pages = {111--120},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICSME.2014.33},
doi = {10.1109/ICSME.2014.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/AbreuCFMPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/AbreuCFMPS14a,
author = {Rui Abreu and
J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Pedro Martins and
Alexandre Perez and
Jo{\~{a}}o Saraiva},
title = {FaultySheet Detective: When Smells Meet Fault Localization},
booktitle = {30th {IEEE} International Conference on Software Maintenance and Evolution,
Victoria, BC, Canada, September 29 - October 3, 2014},
pages = {625--628},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICSME.2014.111},
doi = {10.1109/ICSME.2014.111},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/AbreuCFMPS14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MartinsSFW14,
author = {Pedro Martins and
Jo{\~{a}}o Saraiva and
Jo{\~{a}}o Paulo Fernandes and
Eric Van Wyk},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {Generating attribute grammar-based bidirectional transformations from
rewrite rules},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {63--70},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543745},
doi = {10.1145/2543728.2543745},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/MartinsSFW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/CunhaF0PS14,
author = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Pedro Martins and
Rui Pereira and
Jo{\~{a}}o Saraiva},
title = {Refactoring Meets Model-Driven Spreadsheet Evolution},
booktitle = {9th International Conference on the Quality of Information and Communications
Technology, {QUATIC} 2014, Guimaraes, Portugal, September 23-26, 2014},
pages = {196--201},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/QUATIC.2014.34},
doi = {10.1109/QUATIC.2014.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/quatic/CunhaF0PS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/CoutoCCFS14,
author = {Marco Couto and
Tiago Car{\c{c}}{\~{a}}o and
J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Jo{\~{a}}o Saraiva},
editor = {Fernando Magno Quint{\~{a}}o Pereira},
title = {Detecting Anomalous Energy Consumption in Android Applications},
booktitle = {Programming Languages - 18th Brazilian Symposium, {SBLP} 2014, Maceio,
Brazil, October 2-3, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8771},
pages = {77--91},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11863-5\_6},
doi = {10.1007/978-3-319-11863-5\_6},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/sblp/CoutoCCFS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/CunhaFMPS14,
author = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Jorge Mendes and
Rui Pereira and
Jo{\~{a}}o Saraiva},
editor = {Scott D. Fleming and
Andrew Fish and
Christopher Scaffidi},
title = {Embedding model-driven spreadsheet queries in spreadsheet systems},
booktitle = {{IEEE} Symposium on Visual Languages and Human-Centric Computing,
{VL/HCC} 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014},
pages = {151--154},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/VLHCC.2014.6883039},
doi = {10.1109/VLHCC.2014.6883039},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/CunhaFMPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/CunhaFMPS14a,
author = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Jorge Mendes and
Rui Pereira and
Jo{\~{a}}o Saraiva},
editor = {Scott D. Fleming and
Andrew Fish and
Christopher Scaffidi},
title = {{ES-SQL:} Visually querying spreadsheets},
booktitle = {{IEEE} Symposium on Visual Languages and Human-Centric Computing,
{VL/HCC} 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014},
pages = {203--204},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/VLHCC.2014.6883056},
doi = {10.1109/VLHCC.2014.6883056},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/CunhaFMPS14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/worldcist/SilvaCSS14,
author = {Jo{\~{a}}o Carlos Silva and
Jos{\'{e}} Creissac Campos and
Jo{\~{a}}o Saraiva and
Jos{\'{e}} Lu{\'{\i}}s Silva},
editor = {{\'{A}}lvaro Rocha and
Ana Maria Ramalho Correia and
Felix B. Tan and
Karl A. Stroetmann},
title = {An Approach for Graphical User Interface External Bad Smells Detection},
booktitle = {New Perspectives in Information Systems and Technologies, Volume 2
[WorldCIST'14, Madeira Island, Portugal, April 15-18, 2014]},
series = {Advances in Intelligent Systems and Computing},
volume = {276},
pages = {199--205},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-05948-8\_19},
doi = {10.1007/978-3-319-05948-8\_19},
timestamp = {Fri, 16 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/worldcist/SilvaCSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SantosS13,
author = {Andr{\'{e}} L. M. Santos and
Jo{\~{a}}o Saraiva},
title = {Special section on the Brazilian Symposium on Programming Languages},
journal = {Sci. Comput. Program.},
volume = {78},
number = {8},
pages = {1119--1120},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.09.001},
doi = {10.1016/J.SCICO.2012.09.001},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SantosS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/CunhaFMS13,
author = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Jorge Mendes and
Jo{\~{a}}o Saraiva},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Lehel Csat{\'{o}}},
title = {Spreadsheet Engineering},
booktitle = {Central European Functional Programming School - 5th Summer School,
{CEFP} 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8606},
pages = {246--299},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-15940-9\_6},
doi = {10.1007/978-3-319-15940-9\_6},
timestamp = {Sun, 02 Oct 2022 15:56:39 +0200},
biburl = {https://dblp.org/rec/conf/cefp/CunhaFMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/0001FS13,
author = {Pedro Martins and
Jo{\~{a}}o Paulo Fernandes and
Jo{\~{a}}o Saraiva},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Lehel Csat{\'{o}}},
title = {Zipper-Based Modular and Deforested Computations},
booktitle = {Central European Functional Programming School - 5th Summer School,
{CEFP} 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8606},
pages = {407--427},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-15940-9\_10},
doi = {10.1007/978-3-319-15940-9\_10},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/0001FS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/CunhaFMPS13,
author = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Jorge Mendes and
Rui Pereira and
Jo{\~{a}}o Saraiva},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Lehel Csat{\'{o}}},
title = {Design and Implementation of Queries for Model-Driven Spreadsheets},
booktitle = {Central European Functional Programming School - 5th Summer School,
{CEFP} 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8606},
pages = {459--478},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-15940-9\_13},
doi = {10.1007/978-3-319-15940-9\_13},
timestamp = {Tue, 08 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/CunhaFMPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/MartinsCFAS13,
author = {Pedro Martins and
Nuno Ramos Carvalho and
Jo{\~{a}}o Paulo Fernandes and
Jos{\'{e}} Jo{\~{a}}o Almeida and
Jo{\~{a}}o Saraiva},
editor = {Beniamino Murgante and
Sanjay Misra and
Maurizio Carlini and
Carmelo Maria Torre and
Hong{-}Quang Nguyen and
David Taniar and
Bernady O. Apduhan and
Osvaldo Gervasi},
title = {A Framework for Modular and Customizable Software Analysis},
booktitle = {Computational Science and Its Applications - {ICCSA} 2013 - 13th International
Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7972},
pages = {443--458},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39643-4\_32},
doi = {10.1007/978-3-642-39643-4\_32},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccsa/MartinsCFAS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/CunhaFMS13,
author = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Jorge Mendes and
Jo{\~{a}}o Saraiva},
editor = {Beniamino Murgante and
Sanjay Misra and
Maurizio Carlini and
Carmelo Maria Torre and
Hong{-}Quang Nguyen and
David Taniar and
Bernady O. Apduhan and
Osvaldo Gervasi},
title = {Complexity Metrics for ClassSheet Models},
booktitle = {Computational Science and Its Applications - {ICCSA} 2013 - 13th International
Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7972},
pages = {459--474},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39643-4\_33},
doi = {10.1007/978-3-642-39643-4\_33},
timestamp = {Tue, 08 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccsa/CunhaFMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/incdm/DamascenoCSNL13,
author = {Antonio Damasceno and
Andreia Carreiro and
Jo{\~{a}}o Saraiva and
Jose Neto and
Jorge Landeck},
editor = {Petra Perner},
title = {Using Cloogy and Case Based Reasoning to Identify Electrical Consumptions},
booktitle = {Advances in Data Mining, 13th Industrial Conference, {ICDM} 2013,
New York, NY, USA, July 2013. Workshop Proceedings},
pages = {111--122},
publisher = {ibai Publishing},
year = {2013},
timestamp = {Tue, 22 Feb 2022 10:29:40 +0100},
biburl = {https://dblp.org/rec/conf/incdm/DamascenoCSNL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/PardoFS13,
author = {Alberto Pardo and
Jo{\~{a}}o Paulo Fernandes and
Jo{\~{a}}o Saraiva},
editor = {Andr{\'{e}} Rauber Du Bois and
Phil Trinder},
title = {Multiple Intermediate Structure Deforestation by Shortcut Fusion},
booktitle = {Programming Languages - 17th Brazilian Symposium, {SBLP} 2013, Bras{\'{\i}}lia,
Brazil, October 3 - 4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8129},
pages = {120--134},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40922-6\_9},
doi = {10.1007/978-3-642-40922-6\_9},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/sblp/PardoFS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/MartinsFS13,
author = {Pedro Martins and
Jo{\~{a}}o Paulo Fernandes and
Jo{\~{a}}o Saraiva},
editor = {Andr{\'{e}} Rauber Du Bois and
Phil Trinder},
title = {Zipper-Based Attribute Grammars and Their Extensions},
booktitle = {Programming Languages - 17th Brazilian Symposium, {SBLP} 2013, Bras{\'{\i}}lia,
Brazil, October 3 - 4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8129},
pages = {135--149},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40922-6\_10},
doi = {10.1007/978-3-642-40922-6\_10},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sblp/MartinsFS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/CunhaFMPS13,
author = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Jorge Mendes and
Rui Pereira and
Jo{\~{a}}o Saraiva},
editor = {Caitlin Kelleher and
Margaret M. Burnett and
Stefan Sauer},
title = {Querying model-driven spreadsheets},
booktitle = {2013 {IEEE} Symposium on Visual Languages and Human Centric Computing,
San Jose, CA, USA, September 15-19, 2013},
pages = {83--86},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/VLHCC.2013.6645247},
doi = {10.1109/VLHCC.2013.6645247},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/CunhaFMPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/BeloCFMPS13,
author = {Orlando Belo and
J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Jorge Mendes and
Rui Pereira and
Jo{\~{a}}o Saraiva},
editor = {Caitlin Kelleher and
Margaret M. Burnett and
Stefan Sauer},
title = {QuerySheet: {A} bidirectional query environment for model-driven spreadsheets},
booktitle = {2013 {IEEE} Symposium on Visual Languages and Human Centric Computing,
San Jose, CA, USA, September 15-19, 2013},
pages = {199--200},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/VLHCC.2013.6645267},
doi = {10.1109/VLHCC.2013.6645267},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/BeloCFMPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gttse/2011,
editor = {Ralf L{\"{a}}mmel and
Jo{\~{a}}o Saraiva and
Joost Visser},
title = {Generative and Transformational Techniques in Software Engineering
IV, International Summer School, {GTTSE} 2011, Braga, Portugal, July
3-9, 2011. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {7680},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35992-7},
doi = {10.1007/978-3-642-35992-7},
isbn = {978-3-642-35991-0},
timestamp = {Sun, 26 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gttse/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/CunhaFRS12,
author = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Hugo Ribeiro and
Jo{\~{a}}o Saraiva},
editor = {Beniamino Murgante and
Osvaldo Gervasi and
Sanjay Misra and
Nadia Nedjah and
Ana Maria A. C. Rocha and
David Taniar and
Bernady O. Apduhan},
title = {Towards a Catalog of Spreadsheet Smells},
booktitle = {Computational Science and Its Applications - {ICCSA} 2012 - 12th International
Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings,
Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {7336},
pages = {202--216},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31128-4\_15},
doi = {10.1007/978-3-642-31128-4\_15},
timestamp = {Sun, 25 Jul 2021 11:52:52 +0200},
biburl = {https://dblp.org/rec/conf/iccsa/CunhaFRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/MartinsLFSC12,
author = {Pedro Martins and
Paulo Lopes and
Jo{\~{a}}o Paulo Fernandes and
Jo{\~{a}}o Saraiva and
Jo{\~{a}}o M. P. Cardoso},
editor = {Beniamino Murgante and
Osvaldo Gervasi and
Sanjay Misra and
Nadia Nedjah and
Ana Maria A. C. Rocha and
David Taniar and
Bernady O. Apduhan},
title = {Program and Aspect Metrics for {MATLAB}},
booktitle = {Computational Science and Its Applications - {ICCSA} 2012 - 12th International
Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings,
Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {7336},
pages = {217--233},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31128-4\_16},
doi = {10.1007/978-3-642-31128-4\_16},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccsa/MartinsLFSC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/CunhaFMPS12,
author = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Jorge Mendes and
Hugo Pacheco and
Jo{\~{a}}o Saraiva},
editor = {Zhenjiang Hu and
Juan de Lara},
title = {Bidirectional Transformation of Model-Driven Spreadsheets},
booktitle = {Theory and Practice of Model Transformations - 5th International Conference,
ICMT@TOOLS 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7307},
pages = {105--120},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30476-7\_7},
doi = {10.1007/978-3-642-30476-7\_7},
timestamp = {Wed, 24 Jun 2020 13:02:21 +0200},
biburl = {https://dblp.org/rec/conf/icmt/CunhaFMPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CunhaFMS12b,
author = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Jorge Mendes and
Jo{\~{a}}o Saraiva},
editor = {Andrew Begel and
Caitlin Sadowski},
title = {Towards an evaluation of bidirectional model-driven spreadsheets},
booktitle = {Proceedings of the First International Workshop on User Evaluation
for Software Engineering Researchers, {USER} '12, Zurich, Switzerland,
June 5, 2012},
pages = {25--28},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/USER.2012.6226577},
doi = {10.1109/USER.2012.6226577},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CunhaFMS12b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CunhaFMS12,
author = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Jorge Mendes and
Jo{\~{a}}o Saraiva},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {MDSheet: {A} framework for model-driven spreadsheet engineering},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {1395--1398},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227239},
doi = {10.1109/ICSE.2012.6227239},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CunhaFMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CunhaFMS12a,
author = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Jorge Mendes and
Jo{\~{a}}o Saraiva},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {A bidirectional model-driven spreadsheet environment},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {1443--1444},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227073},
doi = {10.1109/ICSE.2012.6227073},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CunhaFMS12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/CunhaFPS12,
author = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Christophe Peixoto and
Jo{\~{a}}o Saraiva},
editor = {Jo{\~{a}}o Pascoal Faria and
Alberto Rodrigues da Silva and
Ricardo Jorge Machado},
title = {A Quality Model for Spreadsheets},
booktitle = {8th International Conference on the Quality of Information and Communications
Technology, {QUATIC} 2012, Lisbon, Portugal, 2-6 September 2012, Proceedings},
pages = {231--236},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/QUATIC.2012.16},
doi = {10.1109/QUATIC.2012.16},
timestamp = {Wed, 09 Aug 2023 08:39:51 +0200},
biburl = {https://dblp.org/rec/conf/quatic/CunhaFPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CunhaFS12,
author = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Jo{\~{a}}o Saraiva},
editor = {Sascha Ossowski and
Paola Lecca},
title = {From relational ClassSheets to {UML+OCL}},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {1151--1158},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2231957},
doi = {10.1145/2245276.2231957},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/CunhaFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/CunhaSV12,
author = {J{\'{a}}come Cunha and
Jo{\~{a}}o Saraiva and
Joost Visser},
editor = {Francisco Heron de Carvalho Junior and
Lu{\'{\i}}s Soares Barbosa},
title = {Model-Based Programming Environments for Spreadsheets},
booktitle = {Programming Languages - 16th Brazilian Symposium, {SBLP} 2012, Natal,
Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7554},
pages = {117--133},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33182-4\_10},
doi = {10.1007/978-3-642-33182-4\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sblp/CunhaSV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/MartinsFS12,
author = {Pedro Martins and
Jo{\~{a}}o Paulo Fernandes and
Jo{\~{a}}o Saraiva},
editor = {Antonio Cerone and
Donatella Persico and
Sara Fernandes and
Alexeis Garcia{-}Perez and
Panagiotis Katsaros and
Siraj Ahmed Shaikh and
Ioannis Stamelos},
title = {A Web Portal for the Certification of Open Source Software},
booktitle = {Information Technology and Open Source: Applications for Education,
Innovation, and Sustainability - {SEFM} 2012 Satellite Events, InSuEdu,
MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7991},
pages = {244--260},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-54338-8\_20},
doi = {10.1007/978-3-642-54338-8\_20},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/MartinsFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slate/MartinsFS12,
author = {Pedro Martins and
Jo{\~{a}}o Paulo Fernandes and
Jo{\~{a}}o Saraiva},
editor = {Alberto Sim{\~{o}}es and
Ricardo Queir{\'{o}}s and
Daniela Carneiro da Cruz},
title = {A Purely Functional Combinator Language for Software Quality Assessment},
booktitle = {1st Symposium on Languages, Applications and Technologies, {SLATE}
2012, Braga, Portugal, June 21-22, 2012},
series = {OASIcs},
volume = {21},
pages = {51--69},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/OASIcs.SLATE.2012.51},
doi = {10.4230/OASICS.SLATE.2012.51},
timestamp = {Wed, 24 Aug 2022 11:27:10 +0200},
biburl = {https://dblp.org/rec/conf/slate/MartinsFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/CunhaFMS12,
author = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Jorge Mendes and
Jo{\~{a}}o Saraiva},
editor = {Martin Erwig and
Gem Stapleton and
Gennaro Costagliola},
title = {Extension and implementation of ClassSheet models},
booktitle = {2012 {IEEE} Symposium on Visual Languages and Human-Centric Computing,
{VL/HCC} 2012, Innsbruck, Austria, September 30 - October 4, 2012},
pages = {19--22},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/VLHCC.2012.6344473},
doi = {10.1109/VLHCC.2012.6344473},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/vl/CunhaFMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/CunhaFMMS12,
author = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Pedro Martins and
Jorge Mendes and
Jo{\~{a}}o Saraiva},
editor = {Martin Erwig and
Gem Stapleton and
Gennaro Costagliola},
title = {SmellSheet detective: {A} tool for detecting bad smells in spreadsheets},
booktitle = {2012 {IEEE} Symposium on Visual Languages and Human-Centric Computing,
{VL/HCC} 2012, Innsbruck, Austria, September 30 - October 4, 2012},
pages = {243--244},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/VLHCC.2012.6344535},
doi = {10.1109/VLHCC.2012.6344535},
timestamp = {Tue, 08 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vl/CunhaFMMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/PardoFS11,
author = {Alberto Pardo and
Jo{\~{a}}o Paulo Fernandes and
Jo{\~{a}}o Saraiva},
title = {Shortcut fusion rules for the derivation of circular and higher-order
programs},
journal = {High. Order Symb. Comput.},
volume = {24},
number = {1-2},
pages = {115--149},
year = {2011},
url = {https://doi.org/10.1007/s10990-011-9076-x},
doi = {10.1007/S10990-011-9076-X},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/PardoFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/CunhaVAS11,
author = {J{\'{a}}come Cunha and
Joost Visser and
Tiago L. Alves and
Jo{\~{a}}o Saraiva},
editor = {Dimitra Giannakopoulou and
Fernando Orejas},
title = {Type-Safe Evolution of Spreadsheets},
booktitle = {Fundamental Approaches to Software Engineering - 14th International
Conference, {FASE} 2011, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken,
Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6603},
pages = {186--201},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19811-3\_14},
doi = {10.1007/978-3-642-19811-3\_14},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/CunhaVAS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iseud/BeckwithCFS11,
author = {Laura Beckwith and
J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Jo{\~{a}}o Saraiva},
editor = {Maria Francesca Costabile and
Yvonne Dittrich and
Gerhard Fischer and
Antonio Piccinno},
title = {End-Users Productivity in Model-Based Spreadsheets: An Empirical Study},
booktitle = {End-User Development - Third International Symposium, {IS-EUD} 2011,
Torre Canne (BR), Italy, June 7-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6654},
pages = {282--288},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21530-8\_27},
doi = {10.1007/978-3-642-21530-8\_27},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/iseud/BeckwithCFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/FernandesSSV11,
author = {Jo{\~{a}}o Paulo Fernandes and
Jo{\~{a}}o Saraiva and
Daniel Seidel and
Janis Voigtl{\"{a}}nder},
editor = {Siau{-}Cheng Khoo and
Jeremy G. Siek},
title = {Strictification of circular programs},
booktitle = {Proceedings of the 2011 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2011, Austin, TX, USA, January 24-25,
2011},
pages = {131--140},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1929501.1929526},
doi = {10.1145/1929501.1929526},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/FernandesSSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/CunhaMSF11,
author = {J{\'{a}}come Cunha and
Jorge Mendes and
Jo{\~{a}}o Saraiva and
Jo{\~{a}}o Paulo Fernandes},
editor = {Gennaro Costagliola and
Amy J. Ko and
Allen Cypher and
Jeffrey Nichols and
Christopher Scaffidi and
Caitlin Kelleher and
Brad A. Myers},
title = {Embedding and evolution of spreadsheet models in spreadsheet systems},
booktitle = {2011 {IEEE} Symposium on Visual Languages and Human-Centric Computing,
{VL/HCC} 2011, Pittsburgh, PA, USA, September 18-22, 2011},
pages = {179--186},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/VLHCC.2011.6070396},
doi = {10.1109/VLHCC.2011.6070396},
timestamp = {Sun, 26 Nov 2023 00:57:51 +0100},
biburl = {https://dblp.org/rec/conf/vl/CunhaMSF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gttse/2009,
editor = {Jo{\~{a}}o M. Fernandes and
Ralf L{\"{a}}mmel and
Joost Visser and
Jo{\~{a}}o Saraiva},
title = {Generative and Transformational Techniques in Software Engineering
{III} - International Summer School, {GTTSE} 2009, Braga, Portugal,
July 6-11, 2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {6491},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18023-1},
doi = {10.1007/978-3-642-18023-1},
isbn = {978-3-642-18022-4},
timestamp = {Sun, 26 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gttse/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-4190,
author = {Laura Beckwith and
J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Jo{\~{a}}o Saraiva},
title = {An Empirical Study on End-users Productivity Using Model-based Spreadsheets},
journal = {CoRR},
volume = {abs/1112.4190},
year = {2011},
url = {http://arxiv.org/abs/1112.4190},
eprinttype = {arXiv},
eprint = {1112.4190},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-4190.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/SilvaCS10,
author = {Jo{\~{a}}o Carlos Silva and
Jos{\'{e}} Creissac Campos and
Jo{\~{a}}o Saraiva},
title = {{GUI} Inspection from Source Code Analysis},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {33},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.33.459},
doi = {10.14279/TUJ.ECEASST.33.459},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/SilvaCS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/SilvaSGSC10,
author = {Jo{\~{a}}o Carlos Silva and
Carlos E. Silva and
Rui D. Gon{\c{c}}alo and
Jo{\~{a}}o Saraiva and
Jos{\'{e}} Creissac Campos},
editor = {Noi Sukaviriya and
Jean Vanderdonckt and
Michael Harrison},
title = {The GUISurfer tool: towards a language independent approach to reverse
engineering {GUI} code},
booktitle = {Proceedings of the 2nd {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing System, {EICS} 2010, Berlin, Germany, June 19-23, 2010},
pages = {181--186},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1822018.1822045},
doi = {10.1145/1822018.1822045},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eics/SilvaSGSC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/CunhaES10,
author = {J{\'{a}}come Cunha and
Martin Erwig and
Jo{\~{a}}o Saraiva},
editor = {Christopher D. Hundhausen and
Emmanuel Pietriga and
Paloma D{\'{\i}}az and
Mary Beth Rosson},
title = {Automatically Inferring ClassSheet Models from Spreadsheets},
booktitle = {{IEEE} Symposium on Visual Languages and Human-Centric Computing,
{VL/HCC} 2010, Legan{\'{e}}s-Madrid, Spain, 21-25 September 2010,
Proceedings},
pages = {93--100},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/VLHCC.2010.22},
doi = {10.1109/VLHCC.2010.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/CunhaES10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/PardoFS09,
author = {Alberto Pardo and
Jo{\~{a}}o Paulo Fernandes and
Jo{\~{a}}o Saraiva},
editor = {Germ{\'{a}}n Puebla and
Germ{\'{a}}n Vidal},
title = {Shortcut fusion rules for the derivation of circular and higher-order
monadic programs},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-based Program Manipulation, {PEPM} 2009, Savannah, GA,
USA, January 19-20, 2009},
pages = {81--90},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1480945.1480958},
doi = {10.1145/1480945.1480958},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/PardoFS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/CunhaSV09,
author = {J{\'{a}}come Cunha and
Jo{\~{a}}o Saraiva and
Joost Visser},
editor = {Germ{\'{a}}n Puebla and
Germ{\'{a}}n Vidal},
title = {From spreadsheets to relational databases and back},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-based Program Manipulation, {PEPM} 2009, Savannah, GA,
USA, January 19-20, 2009},
pages = {179--188},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1480945.1480972},
doi = {10.1145/1480945.1480972},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/CunhaSV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SilvaSC09,
author = {Jo{\~{a}}o Carlos Silva and
Jo{\~{a}}o Saraiva and
Jos{\'{e}} Creissac Campos},
editor = {Sung Y. Shin and
Sascha Ossowski},
title = {A generic library for {GUI} reasoning and testing},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
Honolulu, Hawaii, USA, March 9-12, 2009},
pages = {121--128},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1529282.1529307},
doi = {10.1145/1529282.1529307},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/SilvaSC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/CunhaSV09,
author = {J{\'{a}}come Cunha and
Jo{\~{a}}o Saraiva and
Joost Visser},
title = {Discovery-based edit assistance for spreadsheets},
booktitle = {{IEEE} Symposium on Visual Languages and Human-Centric Computing,
{VL/HCC} 2009, Corvallis, OR, USA, 20-24 September 2009, Proceedings},
pages = {233--237},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/VLHCC.2009.5295255},
doi = {10.1109/VLHCC.2009.5295255},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/CunhaSV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/TireloBS08,
author = {Fabio Tirelo and
Roberto da Silva Bigonha and
Jo{\~{a}}o Saraiva},
title = {Disentangling Denotational Semantics Definitions},
journal = {J. Univers. Comput. Sci.},
volume = {14},
number = {21},
pages = {3592--3607},
year = {2008},
url = {https://doi.org/10.3217/jucs-014-21-3592},
doi = {10.3217/JUCS-014-21-3592},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/TireloBS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BatoryAS08,
author = {Don S. Batory and
Maider Azanza and
Jo{\~{a}}o Saraiva},
editor = {Krzysztof Czarnecki and
Ileana Ober and
Jean{-}Michel Bruel and
Axel Uhl and
Markus V{\"{o}}lter},
title = {The Objects and Arrows of Computational Design},
booktitle = {Model Driven Engineering Languages and Systems, 11th International
Conference, MoDELS 2008, Toulouse, France, September 28 - October
3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5301},
pages = {1--20},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87875-9\_1},
doi = {10.1007/978-3-540-87875-9\_1},
timestamp = {Fri, 30 Dec 2022 23:08:54 +0100},
biburl = {https://dblp.org/rec/conf/models/BatoryAS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gttse/2007,
editor = {Ralf L{\"{a}}mmel and
Joost Visser and
Jo{\~{a}}o Saraiva},
title = {Generative and Transformational Techniques in Software Engineering
II, International Summer School, {GTTSE} 2007, Braga, Portugal, July
2-7, 2007. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5235},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88643-3},
doi = {10.1007/978-3-540-88643-3},
isbn = {978-3-540-88642-6},
timestamp = {Sun, 26 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gttse/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/SilvaSFSV07,
author = {Alberto Rodrigues da Silva and
Jo{\~{a}}o Saraiva and
David de Almeida Ferreira and
R. Silva and
Carlos Videira},
title = {Integration of {RE} and {MDE} paradigms: the ProjectIT approach and
tools},
journal = {{IET} Softw.},
volume = {1},
number = {6},
pages = {294--314},
year = {2007},
url = {https://doi.org/10.1049/iet-sen:20070012},
doi = {10.1049/IET-SEN:20070012},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/SilvaSFSV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BryantS07,
author = {Barrett R. Bryant and
Jo{\~{a}}o Saraiva},
title = {Report on selected papers from {LDTA} 2003},
journal = {Sci. Comput. Program.},
volume = {68},
number = {1},
pages = {1},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2007.04.004},
doi = {10.1016/J.SCICO.2007.04.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BryantS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/FernandesPS07,
author = {Jo{\~{a}}o Paulo Fernandes and
Alberto Pardo and
Jo{\~{a}}o Saraiva},
editor = {Gabriele Keller},
title = {A shortcut fusion rule for circular program calculation},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2007,
Freiburg, Germany, September 30, 2007},
pages = {95--106},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291201.1291216},
doi = {10.1145/1291201.1291216},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/haskell/FernandesPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/FernandesS07,
author = {Jo{\~{a}}o Paulo Fernandes and
Jo{\~{a}}o Saraiva},
editor = {G. Ramalingam and
Eelco Visser},
title = {Tools and libraries to model and manipulate circular programs},
booktitle = {Proceedings of the 2007 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2007, Nice, France, January
15-16, 2007},
pages = {102--111},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244381.1244399},
doi = {10.1145/1244381.1244399},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/FernandesS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/SilvaCS06,
author = {Jo{\~{a}}o Carlos Silva and
Jos{\'{e}} Creissac Campos and
Jo{\~{a}}o Saraiva},
editor = {Gavin J. Doherty and
Ann Blandford},
title = {Combining Formal Methods and Functional Strategies Regarding the Reverse
Engineering of Interactive Applications},
booktitle = {Interactive Systems. Design, Specification, and Verification, 13th
International Workshop, {DSVIS} 2006, Dublin, Ireland, July 26-28,
2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4323},
pages = {137--150},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-69554-7\_11},
doi = {10.1007/978-3-540-69554-7\_11},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/SilvaCS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gttse/2006,
editor = {Ralf L{\"{a}}mmel and
Jo{\~{a}}o Saraiva and
Joost Visser},
title = {Generative and Transformational Techniques in Software Engineering,
International Summer School, {GTTSE} 2005, Braga, Portugal, July 4-8,
2005. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4143},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11877028},
doi = {10.1007/11877028},
isbn = {3-540-45778-X},
timestamp = {Sun, 26 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gttse/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/SaraivaS03,
author = {Jo{\~{a}}o Saraiva and
S. Doaitse Swierstra},
editor = {Frank Pfenning and
Yannis Smaragdakis},
title = {Generating Spreadsheet-Like Tools from Strong Attribute Grammars},
booktitle = {Generative Programming and Component Engineering, Second International
Conference, {GPCE} 2003, Erfurt, Germany, September 22-25, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2830},
pages = {307--323},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39815-8\_19},
doi = {10.1007/978-3-540-39815-8\_19},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gpce/SaraivaS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/SaraivaS03,
author = {Jo{\~{a}}o Saraiva and
S{\'{e}}rgio Schneider},
title = {Embedding Domain Specific Languages in the Attribute Grammar Formalism},
booktitle = {36th Hawaii International Conference on System Sciences {(HICSS-36}
2003), {CD-ROM} / Abstracts Proceedings, January 6-9, 2003, Big Island,
HI, {USA}},
pages = {324},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/HICSS.2003.1174889},
doi = {10.1109/HICSS.2003.1174889},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/SaraivaS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BryantS03,
author = {Barrett R. Bryant and
Jo{\~{a}}o Saraiva},
editor = {Barrett R. Bryant and
Jo{\~{a}}o Saraiva},
title = {Preface},
booktitle = {Workshop on Language Descriptions, Tools and Applications, LDTA@ETAPS
2003, Warsaw, Poland, April 12-13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {3},
pages = {461--462},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82622-2},
doi = {10.1016/S1571-0661(05)82622-2},
timestamp = {Tue, 13 Dec 2022 10:44:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BryantS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ldta/2003,
editor = {Barrett R. Bryant and
Jo{\~{a}}o Saraiva},
title = {Workshop on Language Descriptions, Tools and Applications, LDTA@ETAPS
2003, Warsaw, Poland, April 12-13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {3},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/82/issue/3},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ldta/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/Saraiva02,
author = {Jo{\~{a}}o Saraiva},
editor = {Don S. Batory and
Charles Consel and
Walid Taha},
title = {Component-Based Programming for Higher-Order Attribute Grammars},
booktitle = {Generative Programming and Component Engineering, {ACM} {SIGPLAN/SIGSOFT}
Conference, {GPCE} 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2487},
pages = {268--282},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45821-2\_17},
doi = {10.1007/3-540-45821-2\_17},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gpce/Saraiva02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ac/2000appsem,
editor = {Gilles Barthe and
Peter Dybjer and
Lu{\'{\i}}s Pinto and
Jo{\~{a}}o Saraiva},
title = {Applied Semantics, International Summer School, {APPSEM} 2000, Caminha,
Portugal, September 9-15, 2000, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2395},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45699-6},
doi = {10.1007/3-540-45699-6},
isbn = {3-540-44044-5},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/2000appsem.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/SaraivaA01,
author = {Jo{\~{a}}o Saraiva and
Pablo R. Azero Alcocer},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Component-based Programming for Attribute Grammars},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {343--358},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\%7Epq/agp01/finals/7.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/SaraivaA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/SaraivaSK00,
author = {Jo{\~{a}}o Saraiva and
S. Doaitse Swierstra and
Matthijs F. Kuiper},
editor = {David A. Watt},
title = {Functional Incremental Attribute Evaluation},
booktitle = {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, March 25 - April 2, 2000,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1781},
pages = {279--294},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46423-9\_19},
doi = {10.1007/3-540-46423-9\_19},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cc/SaraivaSK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/SariavaS99,
author = {Jo{\~{a}}o Saraiva and
S. Doaitse Swierstra},
editor = {Stefan J{\"{a}}hnichen},
title = {Data Structure Free Compilation},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {1575},
pages = {1--16},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-540-49051-7\_1},
doi = {10.1007/978-3-540-49051-7\_1},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cc/SariavaS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/SwierstraAS98,
author = {S. Doaitse Swierstra and
Pablo R. Azero Alcocer and
Jo{\~{a}}o Saraiva},
editor = {S. Doaitse Swierstra and
Pedro Rangel Henriques and
Jos{\'{e}} Nuno Oliveira},
title = {Designing and Implementing Combinator Languages},
booktitle = {Advanced Functional Programming, Third International School, Braga,
Portugal, September 12-19, 1998, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {1608},
pages = {150--206},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10704973\_4},
doi = {10.1007/10704973\_4},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/afp/SwierstraAS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/KuiperS98,
author = {Matthijs F. Kuiper and
Jo{\~{a}}o Saraiva},
editor = {Kai Koskimies},
title = {Lrc - {A} Generator for Incremental Language-Oriented Tools},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {1383},
pages = {298--301},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0026440},
doi = {10.1007/BFB0026440},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/KuiperS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
