( en | de | ru )

 

Disambiguation of "Kafle, Bishoksan"

Author of the publication

copydeleteadd this publication to your clipboard
A lightweight approach to nontermination inference using Constrained Horn Clauses.

, , , , and . Softw. Syst. Model., 23 (2): 319-342 (April 2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ruthard Käflein

 

Other publications of authors with the same name

A lightweight approach to nontermination inference using Constrained Horn Clauses., , , , and . Softw. Syst. Model., 23 (2): 319-342 (April 2024)Constraint Specialisation in Horn Clause Verification., and . PEPM, page 85-90. ACM, (2015)Tree dimension in verification of constrained Horn clauses., , and . Theory Pract. Log. Program., 18 (2): 224-251 (2018)Tree Automata-Based Refinement with Application to Horn Clause Verification., and . VMCAI, volume 8931 of Lecture Notes in Computer Science, page 209-226. Springer, (2015)Transformation-Enabled Precondition Inference., , , , and . Theory Pract. Log. Program., 21 (6): 700-716 (2021)Lightweight Nontermination Inference with CHCs., , , , and . SEFM, volume 13085 of Lecture Notes in Computer Science, page 383-402. Springer, (2021)Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata., , and . CAV (1), volume 9779 of Lecture Notes in Computer Science, page 261-268. Springer, (2016)