Abstract Interpretation, Bug Detection and Bug Diagnosis in Normal Logic Programs
Year: 1994
Type: conference-abstract
Author: Lunjin Lu
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2183918655