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.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