Skip to main content

1 Result(s)

within **njiang Hu Remove this filter Computer Systems Organization and Communication Networks Remove this filter Logics and Meanings of Programs Remove this filter Programming Techniques Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    A Counterexample-Guided Debugger for Non-recursive Datalog

    The Datalog language is used in many potential applications including database queries, program analysis, bidirectional transformations, and so forth. In practice, such a Datalog program is expected to be well...

    Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu in Programming Languages and Systems (2020)