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 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 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 91, Second International Computer Programming Education Conference (ICPEC 2021)
Alvaro Costa Neto, Cristiana Araújo, Maria João Varanda Pereira, and Pedro Rangel Henriques. Programmers' Affinity to Languages. In Second International Computer Programming Education Conference (ICPEC 2021). Open Access Series in Informatics (OASIcs), Volume 91, pp. 3:1-3:7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{costaneto_et_al:OASIcs.ICPEC.2021.3, author = {Costa Neto, Alvaro and Ara\'{u}jo, Cristiana and Pereira, Maria Jo\~{a}o Varanda and Henriques, Pedro Rangel}, title = {{Programmers' Affinity to Languages}}, booktitle = {Second International Computer Programming Education Conference (ICPEC 2021)}, pages = {3:1--3:7}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-194-8}, ISSN = {2190-6807}, year = {2021}, volume = {91}, editor = {Henriques, Pedro Rangel and Portela, Filipe and Queir\'{o}s, Ricardo and Sim\~{o}es, Alberto}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2021.3}, URN = {urn:nbn:de:0030-drops-142192}, doi = {10.4230/OASIcs.ICPEC.2021.3}, annote = {Keywords: Computer programming, Programming Languages, Affinity, Education, Learning} }
Published in: OASIcs, Volume 91, Second International Computer Programming Education Conference (ICPEC 2021)
Diogo Soares, Maria João Varanda Pereira, and Pedro Rangel Henriques. Integrating a Graph Builder into Python Tutor. In Second International Computer Programming Education Conference (ICPEC 2021). Open Access Series in Informatics (OASIcs), Volume 91, pp. 6:1-6:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{soares_et_al:OASIcs.ICPEC.2021.6, author = {Soares, Diogo and Pereira, Maria Jo\~{a}o Varanda and Henriques, Pedro Rangel}, title = {{Integrating a Graph Builder into Python Tutor}}, booktitle = {Second International Computer Programming Education Conference (ICPEC 2021)}, pages = {6:1--6:15}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-194-8}, ISSN = {2190-6807}, year = {2021}, volume = {91}, editor = {Henriques, Pedro Rangel and Portela, Filipe and Queir\'{o}s, Ricardo and Sim\~{o}es, Alberto}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2021.6}, URN = {urn:nbn:de:0030-drops-142221}, doi = {10.4230/OASIcs.ICPEC.2021.6}, annote = {Keywords: Program Visualization, Python Tutor, Data Flow Graphs, Control Flow Graphs} }
Published in: OASIcs, Volume 91, Second International Computer Programming Education Conference (ICPEC 2021)
João Paulo Aires, Simone Bello Kaminski Aires, Maria João Varanda Pereira, and Luís M. Alves. Active Methodologies in Incoming Programming Classes (Short Paper). In Second International Computer Programming Education Conference (ICPEC 2021). Open Access Series in Informatics (OASIcs), Volume 91, pp. 8:1-8:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{aires_et_al:OASIcs.ICPEC.2021.8, author = {Aires, Jo\~{a}o Paulo and Aires, Simone Bello Kaminski and Pereira, Maria Jo\~{a}o Varanda and Alves, Lu{\'\i}s M.}, title = {{Active Methodologies in Incoming Programming Classes}}, booktitle = {Second International Computer Programming Education Conference (ICPEC 2021)}, pages = {8:1--8:9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-194-8}, ISSN = {2190-6807}, year = {2021}, volume = {91}, editor = {Henriques, Pedro Rangel and Portela, Filipe and Queir\'{o}s, Ricardo and Sim\~{o}es, Alberto}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2021.8}, URN = {urn:nbn:de:0030-drops-142241}, doi = {10.4230/OASIcs.ICPEC.2021.8}, annote = {Keywords: Teaching Programming, Active Methodologies, Learning Innovation} }
Published in: OASIcs, Volume 83, 9th Symposium on Languages, Applications and Technologies (SLATE 2020)
Mauro C. Argañaraz, Mario M. Berón, Maria J. Varanda Pereira, and Pedro Rangel Henriques. Detection of Vulnerabilities in Smart Contracts Specifications in Ethereum Platforms. In 9th Symposium on Languages, Applications and Technologies (SLATE 2020). Open Access Series in Informatics (OASIcs), Volume 83, pp. 2:1-2:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{arganaraz_et_al:OASIcs.SLATE.2020.2, author = {Arga\~{n}araz, Mauro C. and Ber\'{o}n, Mario M. and Varanda Pereira, Maria J. and Henriques, Pedro Rangel}, title = {{Detection of Vulnerabilities in Smart Contracts Specifications in Ethereum Platforms}}, booktitle = {9th Symposium on Languages, Applications and Technologies (SLATE 2020)}, pages = {2:1--2:16}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-165-8}, ISSN = {2190-6807}, year = {2020}, volume = {83}, editor = {Sim\~{o}es, Alberto and Henriques, Pedro Rangel and Queir\'{o}s, Ricardo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2020.2}, URN = {urn:nbn:de:0030-drops-130154}, doi = {10.4230/OASIcs.SLATE.2020.2}, annote = {Keywords: blockchain, ethereum, smart contract, solidity, static analysis, verification} }
Published in: OASIcs, Volume 83, 9th Symposium on Languages, Applications and Technologies (SLATE 2020)
Renato Preigschadt de Azevedo, Maria João Varanda Pereira, and Pedro Rangel Henriques. Development of Q&A Systems Using AcQA. In 9th Symposium on Languages, Applications and Technologies (SLATE 2020). Open Access Series in Informatics (OASIcs), Volume 83, pp. 8:1-8:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{deazevedo_et_al:OASIcs.SLATE.2020.8, author = {de Azevedo, Renato Preigschadt and Pereira, Maria Jo\~{a}o Varanda and Henriques, Pedro Rangel}, title = {{Development of Q\&A Systems Using AcQA}}, booktitle = {9th Symposium on Languages, Applications and Technologies (SLATE 2020)}, pages = {8:1--8:15}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-165-8}, ISSN = {2190-6807}, year = {2020}, volume = {83}, editor = {Sim\~{o}es, Alberto and Henriques, Pedro Rangel and Queir\'{o}s, Ricardo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2020.8}, URN = {urn:nbn:de:0030-drops-130216}, doi = {10.4230/OASIcs.SLATE.2020.8}, annote = {Keywords: Question \& Answering, DSL, Natural Language Processing} }
Published in: OASIcs, Volume 81, First International Computer Programming Education Conference (ICPEC 2020)
Marcela Viana P. Almeida, Luís M. Alves, Maria João Varanda Pereira, and Glívia Angélica R. Barbosa. EasyCoding - Methodology to Support Programming Learning. In First International Computer Programming Education Conference (ICPEC 2020). Open Access Series in Informatics (OASIcs), Volume 81, pp. 1:1-1:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{almeida_et_al:OASIcs.ICPEC.2020.1, author = {Almeida, Marcela Viana P. and Alves, Lu{\'\i}s M. and Pereira, Maria Jo\~{a}o Varanda and Barbosa, Gl{\'\i}via Ang\'{e}lica R.}, title = {{EasyCoding - Methodology to Support Programming Learning}}, booktitle = {First International Computer Programming Education Conference (ICPEC 2020)}, pages = {1:1--1:8}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-153-5}, ISSN = {2190-6807}, year = {2020}, volume = {81}, editor = {Queir\'{o}s, Ricardo and Portela, Filipe and Pinto, M\'{a}rio and Sim\~{o}es, Alberto}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2020.1}, URN = {urn:nbn:de:0030-drops-122887}, doi = {10.4230/OASIcs.ICPEC.2020.1}, annote = {Keywords: learning programming, teaching programming, automatic activity guides, programming motivation} }
Published in: OASIcs, Volume 74, 8th Symposium on Languages, Applications and Technologies (SLATE 2019)
Martinho Aragão, Maria João Varanda Pereira, and Pedro Rangel Henriques. Scaling up a Programmers' Profile Tool. In 8th Symposium on Languages, Applications and Technologies (SLATE 2019). Open Access Series in Informatics (OASIcs), Volume 74, pp. 11:1-11:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{aragao_et_al:OASIcs.SLATE.2019.11, author = {Arag\~{a}o, Martinho and Pereira, Maria Jo\~{a}o Varanda and Henriques, Pedro Rangel}, title = {{Scaling up a Programmers' Profile Tool}}, booktitle = {8th Symposium on Languages, Applications and Technologies (SLATE 2019)}, pages = {11:1--11:8}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-114-6}, ISSN = {2190-6807}, year = {2019}, volume = {74}, editor = {Rodrigues, Ricardo and Janou\v{s}ek, Jan and Ferreira, Lu{\'\i}s and Coheur, Lu{\'\i}sa and Batista, Fernando and Gon\c{c}alo Oliveira, Hugo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2019.11}, URN = {urn:nbn:de:0030-drops-108781}, doi = {10.4230/OASIcs.SLATE.2019.11}, annote = {Keywords: Programmers Profiling, Code Analysis, Programming Skills, Code Readability} }
Published in: OASIcs, Volume 56, 6th Symposium on Languages, Applications and Technologies (SLATE 2017)
6th Symposium on Languages, Applications and Technologies (SLATE 2017). Open Access Series in Informatics (OASIcs), Volume 56, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@Proceedings{queiros_et_al:OASIcs.SLATE.2017, title = {{OASIcs, Volume 56, SLATE'17, Complete Volume}}, booktitle = {6th Symposium on Languages, Applications and Technologies (SLATE 2017)}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-056-9}, ISSN = {2190-6807}, year = {2017}, volume = {56}, editor = {Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Sim\~{o}es, Alberto and Leal, Jos\'{e} Paulo and Varanda, 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.2017}, URN = {urn:nbn:de:0030-drops-80250}, doi = {10.4230/OASIcs.SLATE.2017}, annote = {Keywords: Programming Languages, Information Search and Retrieval, Natural Language Processing, Document and Text Processing} }
Published in: OASIcs, Volume 56, 6th Symposium on Languages, Applications and Technologies (SLATE 2017)
6th Symposium on Languages, Applications and Technologies (SLATE 2017). Open Access Series in Informatics (OASIcs), Volume 56, pp. 0:i-0:xvi, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{queiros_et_al:OASIcs.SLATE.2017.0, author = {Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Sim\~{o}es, Alberto and Leal, Jos\'{e} Paulo and Varanda, Maria Jo\~{a}o}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {6th Symposium on Languages, Applications and Technologies (SLATE 2017)}, pages = {0:i--0:xvi}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-056-9}, ISSN = {2190-6807}, year = {2017}, volume = {56}, editor = {Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Sim\~{o}es, Alberto and Leal, Jos\'{e} Paulo and Varanda, 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.2017.0}, URN = {urn:nbn:de:0030-drops-79362}, doi = {10.4230/OASIcs.SLATE.2017.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Published in: OASIcs, Volume 56, 6th Symposium on Languages, Applications and Technologies (SLATE 2017)
Patrícia Amorim Barros, Maria João Varanda Pereira, and Pedro Rangel Henriques. Applying Attribute Grammars to Teach Linguistic Rules. In 6th Symposium on Languages, Applications and Technologies (SLATE 2017). Open Access Series in Informatics (OASIcs), Volume 56, pp. 1:1-1:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{barros_et_al:OASIcs.SLATE.2017.1, author = {Barros, Patr{\'\i}cia Amorim and Varanda Pereira, Maria Jo\~{a}o and Henriques, Pedro Rangel}, title = {{Applying Attribute Grammars to Teach Linguistic Rules}}, booktitle = {6th Symposium on Languages, Applications and Technologies (SLATE 2017)}, pages = {1:1--1:14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-056-9}, ISSN = {2190-6807}, year = {2017}, volume = {56}, editor = {Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Sim\~{o}es, Alberto and Leal, Jos\'{e} Paulo and Varanda, 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.2017.1}, URN = {urn:nbn:de:0030-drops-79376}, doi = {10.4230/OASIcs.SLATE.2017.1}, annote = {Keywords: Attribute Grammars, DSL, Linguistics} }
Published in: OASIcs, Volume 56, 6th Symposium on Languages, Applications and Technologies (SLATE 2017)
Ricardo Gonçalves, Miguel Areias, and Ricardo Rocha. Towards an Automated Test Bench Environment for Prolog Systems. In 6th Symposium on Languages, Applications and Technologies (SLATE 2017). Open Access Series in Informatics (OASIcs), Volume 56, pp. 2:1-2:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{goncalves_et_al:OASIcs.SLATE.2017.2, author = {Gon\c{c}alves, Ricardo and Areias, Miguel and Rocha, Ricardo}, title = {{Towards an Automated Test Bench Environment for Prolog Systems}}, booktitle = {6th Symposium on Languages, Applications and Technologies (SLATE 2017)}, pages = {2:1--2:13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-056-9}, ISSN = {2190-6807}, year = {2017}, volume = {56}, editor = {Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Sim\~{o}es, Alberto and Leal, Jos\'{e} Paulo and Varanda, 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.2017.2}, URN = {urn:nbn:de:0030-drops-79385}, doi = {10.4230/OASIcs.SLATE.2017.2}, annote = {Keywords: Software Engineering, Program Correctness, Benchmarking, Prolog} }
Feedback for Dagstuhl Publishing