論文

査読有り
2020年

A Counterexample-Guided Debugger for Non-recursive Datalog

Programming Languages and Systems (LNCS, volume 12470)
  • Van-Dang Tran
  • ,
  • Hiroyuki Kato
  • ,
  • Zhenjiang Hu

開始ページ
323
終了ページ
342
記述言語
掲載種別
論文集(書籍)内論文
DOI
10.1007/978-3-030-64437-6_17
出版者・発行元
Springer International Publishing

リンク情報
DOI
https://doi.org/10.1007/978-3-030-64437-6_17
URL
http://link.springer.com/content/pdf/10.1007/978-3-030-64437-6_17
ID情報
  • DOI : 10.1007/978-3-030-64437-6_17
  • ISSN : 0302-9743
  • eISSN : 1611-3349

エクスポート
BibTeX RIS