Work

A lightweight approach to nontermination inference using Constrained Horn Clauses

Year: 2024

Type: article

Source: Software & Systems Modeling

DOI: 10.1007/s10270-024-01161-5

Authors: Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

Institutions: IMDEA Software Institute, The University of Melbourne, Monash University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4392811887

FWCI:

Cites: 67

Cited by:

Related to: 10