Published in: OASIcs, Volume 21, 1st Symposium on Languages, Applications and Technologies (2012)
Alexander Paar. From Program Execution to Automatic Reasoning: Integrating Ontologies into Programming Languages (Keynote). In 1st Symposium on Languages, Applications and Technologies. Open Access Series in Informatics (OASIcs), Volume 21, p. 5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{paar:OASIcs.SLATE.2012.5, author = {Paar, Alexander}, title = {{From Program Execution to Automatic Reasoning: Integrating Ontologies into Programming Languages}}, booktitle = {1st Symposium on Languages, Applications and Technologies}, pages = {5--5}, 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.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.5}, URN = {urn:nbn:de:0030-drops-35103}, doi = {10.4230/OASIcs.SLATE.2012.5}, annote = {Keywords: Ontologies, OO programming languages, Automatic reasoning} }
Feedback for Dagstuhl Publishing