Interactive Debugging of Datalog Programs

Datalog is used for complex programming tasks nowadays, consisting of numerous inter-dependent predicates. But Datalog lacks interactive debugging techniques that support the stepwise execution and inspection of the execution state. In this paper, we propose interactive debugging of Datalog programs...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of ACM on programming languages Ročník 7; číslo OOPSLA2; s. 745 - 772
Hlavní autoři:	Pacak, André, Erdweg, Sebastian
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 16.10.2023
Témata:	Constraint and logic programming Logic and databases Operational semantics Software and its engineering Software testing and debugging Theory of computation debugging Datalog QSQR small-step operational semantics
ISSN:	2475-1421, 2475-1421
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!