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} }
Published in: OASIcs, Volume 21, 1st Symposium on Languages, Applications and Technologies (2012)
Miguel Areias and Ricardo Rocha. On Extending a Linear Tabling Framework to Support Batched Scheduling. In 1st Symposium on Languages, Applications and Technologies. Open Access Series in Informatics (OASIcs), Volume 21, pp. 9-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{areias_et_al:OASIcs.SLATE.2012.9, author = {Areias, Miguel and Rocha, Ricardo}, title = {{On Extending a Linear Tabling Framework to Support Batched Scheduling}}, booktitle = {1st Symposium on Languages, Applications and Technologies}, pages = {9--24}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-40-8}, ISSN = {2190-6807}, year = {2012}, volume = {21}, editor = {Sim\~{o}es, Alberto and Queir\'{o}s, Ricardo and da Cruz, Daniela}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.9}, URN = {urn:nbn:de:0030-drops-35113}, doi = {10.4230/OASIcs.SLATE.2012.9}, annote = {Keywords: Linear Tabling, Scheduling, Implementation} }
Feedback for Dagstuhl Publishing