OASIcs, Volume 91
ICPEC 2021, May 27-28, 2021, University of Minho, Braga, Portugal
Editors: Pedro Rangel Henriques, Filipe Portela, Ricardo Queirós, and Alberto Simões
OASIcs, Volume 83
SLATE 2020, July 13-14, 2020, School of Technology, Polytechnic Institute of Cávado and Ave, Portugal (Virtual Conference)
Editors: Alberto Simões, Pedro Rangel Henriques, and Ricardo Queirós
OASIcs, Volume 62
SLATE 2018, June 21-22, 2018, Guimaraes, Portugal
Editors: Pedro Rangel Henriques, José Paulo Leal, António Menezes Leitão, and Xavier Gómez Guinovart
Published in: OASIcs, Volume 113, 12th Symposium on Languages, Applications and Technologies (SLATE 2023)
Marco Pereira, Alberto Simões, and Pedro Rangel Henriques. Type Annotation for SAST. In 12th Symposium on Languages, Applications and Technologies (SLATE 2023). Open Access Series in Informatics (OASIcs), Volume 113, pp. 12:1-12:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{pereira_et_al:OASIcs.SLATE.2023.12, author = {Pereira, Marco and Sim\~{o}es, Alberto and Henriques, Pedro Rangel}, title = {{Type Annotation for SAST}}, booktitle = {12th Symposium on Languages, Applications and Technologies (SLATE 2023)}, pages = {12:1--12:13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-291-4}, ISSN = {2190-6807}, year = {2023}, volume = {113}, editor = {Sim\~{o}es, Alberto and Ber\'{o}n, Mario Marcelo and Portela, Filipe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2023.12}, URN = {urn:nbn:de:0030-drops-185261}, doi = {10.4230/OASIcs.SLATE.2023.12}, annote = {Keywords: Static Application Security Testing, Type Annotation, C, C++, C#} }
Published in: OASIcs, Volume 113, 12th Symposium on Languages, Applications and Technologies (SLATE 2023)
Júlio Alves, Alvaro Costa Neto, Maria João Varanda Pereira, and Pedro Rangel Henriques. Characterization and Identification of Programming Languages. In 12th Symposium on Languages, Applications and Technologies (SLATE 2023). Open Access Series in Informatics (OASIcs), Volume 113, pp. 13:1-13:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{alves_et_al:OASIcs.SLATE.2023.13, author = {Alves, J\'{u}lio and Costa Neto, Alvaro and Pereira, Maria Jo\~{a}o Varanda and Henriques, Pedro Rangel}, title = {{Characterization and Identification of Programming Languages}}, booktitle = {12th Symposium on Languages, Applications and Technologies (SLATE 2023)}, pages = {13:1--13:13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-291-4}, ISSN = {2190-6807}, year = {2023}, volume = {113}, editor = {Sim\~{o}es, Alberto and Ber\'{o}n, Mario Marcelo and Portela, Filipe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2023.13}, URN = {urn:nbn:de:0030-drops-185273}, doi = {10.4230/OASIcs.SLATE.2023.13}, annote = {Keywords: Programming Languages, Programming Language Characterization, Programming Language Design, Programming Language Identification} }
Published in: OASIcs, Volume 113, 12th Symposium on Languages, Applications and Technologies (SLATE 2023)
Sara Cristina Freitas Queirós, Cristiana Araújo, and Pedro Rangel Henriques. Romaria De Nª Srª D'Agonia: Building a Digital Repository and a Virtual Museum. In 12th Symposium on Languages, Applications and Technologies (SLATE 2023). Open Access Series in Informatics (OASIcs), Volume 113, pp. 16:1-16:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{queiros_et_al:OASIcs.SLATE.2023.16, author = {Queir\'{o}s, Sara Cristina Freitas and Ara\'{u}jo, Cristiana and Henriques, Pedro Rangel}, title = {{Romaria De Nª Srª D'Agonia: Building a Digital Repository and a Virtual Museum}}, booktitle = {12th Symposium on Languages, Applications and Technologies (SLATE 2023)}, pages = {16:1--16:16}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-291-4}, ISSN = {2190-6807}, year = {2023}, volume = {113}, editor = {Sim\~{o}es, Alberto and Ber\'{o}n, Mario Marcelo and Portela, Filipe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2023.16}, URN = {urn:nbn:de:0030-drops-185306}, doi = {10.4230/OASIcs.SLATE.2023.16}, annote = {Keywords: Ontology, XML, Romaria, Pilgrimage, Digital Knowledge Repository, Triple Storage Database, Virtual Museum} }
Published in: OASIcs, Volume 112, 4th International Computer Programming Education Conference (ICPEC 2023)
Luis Carlos Martins, Lázaro Vinicius Lima, and Pedro Rangel Henriques. LCSMAR, an AR Based Tool to Inspect Imperative Programs. In 4th International Computer Programming Education Conference (ICPEC 2023). Open Access Series in Informatics (OASIcs), Volume 112, pp. 3:1-3:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{martins_et_al:OASIcs.ICPEC.2023.3, author = {Martins, Luis Carlos and Lima, L\'{a}zaro Vinicius and Henriques, Pedro Rangel}, title = {{LCSMAR, an AR Based Tool to Inspect Imperative Programs}}, booktitle = {4th International Computer Programming Education Conference (ICPEC 2023)}, pages = {3:1--3:9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-290-7}, ISSN = {2190-6807}, year = {2023}, volume = {112}, editor = {Peixoto de Queir\'{o}s, Ricardo Alexandre and Teixeira Pinto, M\'{a}rio Paulo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2023.3}, URN = {urn:nbn:de:0030-drops-184994}, doi = {10.4230/OASIcs.ICPEC.2023.3}, annote = {Keywords: Augmented Reality, Learning Resources, Computer Programming, Computational Thinking} }
Published in: OASIcs, Volume 112, 4th International Computer Programming Education Conference (ICPEC 2023)
Tiago Carvalho Freitas, Alvaro Costa Neto, Maria João Varanda Pereira, and Pedro Rangel Henriques. NLP/AI Based Techniques for Programming Exercises Generation. In 4th International Computer Programming Education Conference (ICPEC 2023). Open Access Series in Informatics (OASIcs), Volume 112, pp. 9:1-9:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{freitas_et_al:OASIcs.ICPEC.2023.9, author = {Freitas, Tiago Carvalho and Costa Neto, Alvaro and Pereira, Maria Jo\~{a}o Varanda and Henriques, Pedro Rangel}, title = {{NLP/AI Based Techniques for Programming Exercises Generation}}, booktitle = {4th International Computer Programming Education Conference (ICPEC 2023)}, pages = {9:1--9:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-290-7}, ISSN = {2190-6807}, year = {2023}, volume = {112}, editor = {Peixoto de Queir\'{o}s, Ricardo Alexandre and Teixeira Pinto, M\'{a}rio Paulo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2023.9}, URN = {urn:nbn:de:0030-drops-185058}, doi = {10.4230/OASIcs.ICPEC.2023.9}, annote = {Keywords: Natural Language Processing, Computer Programming Education, Exercises Generation, Text Generation, Code Generation} }
Published in: OASIcs, Volume 104, 11th Symposium on Languages, Applications and Technologies (SLATE 2022)
Sofia Teixeira, José Carlos Ramalho, and Pedro Rangel Henriques. EWVM, a Web Virtual Machine to Support Code Generation in Compiler Courses. In 11th Symposium on Languages, Applications and Technologies (SLATE 2022). Open Access Series in Informatics (OASIcs), Volume 104, pp. 7:1-7:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{teixeira_et_al:OASIcs.SLATE.2022.7, author = {Teixeira, Sofia and Ramalho, Jos\'{e} Carlos and Henriques, Pedro Rangel}, title = {{EWVM, a Web Virtual Machine to Support Code Generation in Compiler Courses}}, booktitle = {11th Symposium on Languages, Applications and Technologies (SLATE 2022)}, pages = {7:1--7:9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-245-7}, ISSN = {2190-6807}, year = {2022}, volume = {104}, editor = {Cordeiro, Jo\~{a}o and Pereira, Maria Jo\~{a}o and Rodrigues, Nuno F. and Pais, Sebasti\~{a}o}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2022.7}, URN = {urn:nbn:de:0030-drops-167535}, doi = {10.4230/OASIcs.SLATE.2022.7}, annote = {Keywords: Virtual Machine, Stack Machine, Assembler, Debugger, Compiler, Code Generation} }
Published in: OASIcs, Volume 104, 11th Symposium on Languages, Applications and Technologies (SLATE 2022)
João Rodrigues Gomes, Alda Lopes Gançarski, and Pedro Rangel Henriques. OMT, a Web-Based Tool for Ontology Matching. In 11th Symposium on Languages, Applications and Technologies (SLATE 2022). Open Access Series in Informatics (OASIcs), Volume 104, pp. 8:1-8:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{gomes_et_al:OASIcs.SLATE.2022.8, author = {Gomes, Jo\~{a}o Rodrigues and Gan\c{c}arski, Alda Lopes and Henriques, Pedro Rangel}, title = {{OMT, a Web-Based Tool for Ontology Matching}}, booktitle = {11th Symposium on Languages, Applications and Technologies (SLATE 2022)}, pages = {8:1--8:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-245-7}, ISSN = {2190-6807}, year = {2022}, volume = {104}, editor = {Cordeiro, Jo\~{a}o and Pereira, Maria Jo\~{a}o and Rodrigues, Nuno F. and Pais, Sebasti\~{a}o}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2022.8}, URN = {urn:nbn:de:0030-drops-167547}, doi = {10.4230/OASIcs.SLATE.2022.8}, annote = {Keywords: Ontology, Ontology Matching, Ontology Alignment} }
Published in: OASIcs, Volume 104, 11th Symposium on Languages, Applications and Technologies (SLATE 2022)
Gustavo Galvão, Alvaro Costa Neto, Cristiana Araújo, and Pedro Rangel Henriques. The Visual Programming Environment ROBI for Educational Robotics. In 11th Symposium on Languages, Applications and Technologies (SLATE 2022). Open Access Series in Informatics (OASIcs), Volume 104, pp. 14:1-14:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{galvao_et_al:OASIcs.SLATE.2022.14, author = {Galv\~{a}o, Gustavo and Costa Neto, Alvaro and Ara\'{u}jo, Cristiana and Rangel Henriques, Pedro}, title = {{The Visual Programming Environment ROBI for Educational Robotics}}, booktitle = {11th Symposium on Languages, Applications and Technologies (SLATE 2022)}, pages = {14:1--14:15}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-245-7}, ISSN = {2190-6807}, year = {2022}, volume = {104}, editor = {Cordeiro, Jo\~{a}o and Pereira, Maria Jo\~{a}o and Rodrigues, Nuno F. and Pais, Sebasti\~{a}o}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2022.14}, URN = {urn:nbn:de:0030-drops-167600}, doi = {10.4230/OASIcs.SLATE.2022.14}, annote = {Keywords: Programming Languages, Visual Languages, Computer Programming, Educational Robotics} }
Published in: OASIcs, Volume 104, 11th Symposium on Languages, Applications and Technologies (SLATE 2022)
Gonçalo Rodrigues Pinto, Pedro Rangel Henriques, Daniela da Cruz, and João Cruz. Determining Programming Languages Complexity and Its Impact on Processing. In 11th Symposium on Languages, Applications and Technologies (SLATE 2022). Open Access Series in Informatics (OASIcs), Volume 104, pp. 16:1-16:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{pinto_et_al:OASIcs.SLATE.2022.16, author = {Pinto, Gon\c{c}alo Rodrigues and Henriques, Pedro Rangel and da Cruz, Daniela and Cruz, Jo\~{a}o}, title = {{Determining Programming Languages Complexity and Its Impact on Processing}}, booktitle = {11th Symposium on Languages, Applications and Technologies (SLATE 2022)}, pages = {16:1--16:15}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-245-7}, ISSN = {2190-6807}, year = {2022}, volume = {104}, editor = {Cordeiro, Jo\~{a}o and Pereira, Maria Jo\~{a}o and Rodrigues, Nuno F. and Pais, Sebasti\~{a}o}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2022.16}, URN = {urn:nbn:de:0030-drops-167620}, doi = {10.4230/OASIcs.SLATE.2022.16}, annote = {Keywords: Complexity, Grammar, Language-based-Tool, Programming Language, Static code analysis} }
Published in: OASIcs, Volume 102, Third International Computer Programming Education Conference (ICPEC 2022)
Alvaro Costa Neto, Cristiana Araújo, Maria João Varanda Pereira, and Pedro Rangel Henriques. Value-Focused Investigation into Programming Languages Affinity. In Third International Computer Programming Education Conference (ICPEC 2022). Open Access Series in Informatics (OASIcs), Volume 102, pp. 1:1-1:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{costaneto_et_al:OASIcs.ICPEC.2022.1, author = {Costa Neto, Alvaro and Ara\'{u}jo, Cristiana and Pereira, Maria Jo\~{a}o Varanda and Henriques, Pedro Rangel}, title = {{Value-Focused Investigation into Programming Languages Affinity}}, booktitle = {Third International Computer Programming Education Conference (ICPEC 2022)}, pages = {1:1--1:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-229-7}, ISSN = {2190-6807}, year = {2022}, volume = {102}, editor = {Sim\~{o}es, Alberto and Silva, Jo\~{a}o Carlos}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2022.1}, URN = {urn:nbn:de:0030-drops-166051}, doi = {10.4230/OASIcs.ICPEC.2022.1}, annote = {Keywords: Computer Programming, Programming Languages, Affinity, Education, Learning, Value-Focused Thinking} }
Published in: OASIcs, Volume 94, 10th Symposium on Languages, Applications and Technologies (SLATE 2021)
Manuel Gouveia Carneiro de Sousa, Maria João Varanda Pereira, and Pedro Rangel Henriques. Lyntax - A grammar-Based Tool for Linguistics. In 10th Symposium on Languages, Applications and Technologies (SLATE 2021). Open Access Series in Informatics (OASIcs), Volume 94, pp. 4:1-4:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{desousa_et_al:OASIcs.SLATE.2021.4, author = {de Sousa, Manuel Gouveia Carneiro and Pereira, Maria Jo\~{a}o Varanda and Henriques, Pedro Rangel}, title = {{Lyntax - A grammar-Based Tool for Linguistics}}, booktitle = {10th Symposium on Languages, Applications and Technologies (SLATE 2021)}, pages = {4:1--4:13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-202-0}, ISSN = {2190-6807}, year = {2021}, volume = {94}, editor = {Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Sim\~{o}es, Alberto and Portela, Filipe and Pereira, Maria Jo\~{a}o}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2021.4}, URN = {urn:nbn:de:0030-drops-144213}, doi = {10.4230/OASIcs.SLATE.2021.4}, annote = {Keywords: Attribute Grammars, Linguistic Rules, Pedagogical Linguistic Tools} }
Published in: OASIcs, Volume 94, 10th Symposium on Languages, Applications and Technologies (SLATE 2021)
Tiago Baptista, Nuno Oliveira, and Pedro Rangel Henriques. Using Machine Learning for Vulnerability Detection and Classification. In 10th Symposium on Languages, Applications and Technologies (SLATE 2021). Open Access Series in Informatics (OASIcs), Volume 94, pp. 14:1-14:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{baptista_et_al:OASIcs.SLATE.2021.14, author = {Baptista, Tiago and Oliveira, Nuno and Henriques, Pedro Rangel}, title = {{Using Machine Learning for Vulnerability Detection and Classification}}, booktitle = {10th Symposium on Languages, Applications and Technologies (SLATE 2021)}, pages = {14:1--14:14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-202-0}, ISSN = {2190-6807}, year = {2021}, volume = {94}, editor = {Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Sim\~{o}es, Alberto and Portela, Filipe and Pereira, Maria Jo\~{a}o}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2021.14}, URN = {urn:nbn:de:0030-drops-144315}, doi = {10.4230/OASIcs.SLATE.2021.14}, annote = {Keywords: Vulnerability Detection, Source Code Analysis, Machine Learning} }
Feedback for Dagstuhl Publishing