Challenges in the specialisation of smart horn clause interpreters

John P. Gallagher*

*Corresponding author

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

OriginalsprogEngelsk
TidsskriftElectronic Proceedings in Theoretical Computer Science, EPTCS
Vol/bind296
Sider (fra-til)3-5
Antal sider3
ISSN2075-2180
DOI
StatusUdgivet - 9 jul. 2019
Begivenhed6th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2019 and 3rd Workshop on Program Equivalence and Relational Reasoning, PERR 2019 - Prague, Tjekkiet
Varighed: 6 apr. 20197 apr. 2019

Konference

Konference6th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2019 and 3rd Workshop on Program Equivalence and Relational Reasoning, PERR 2019
Land/OmrådeTjekkiet
ByPrague
Periode06/04/201907/04/2019

Citer dette