Work

A practical framework for theabstract interpretation of logic programs

Year: 1991

Type: article

Source: The Journal of Logic Programming

DOI: 10.1016/0743-1066(91)80001-t

Author: Maurice Bruynooghe

Institutions: Fund for Scientific Research, KU Leuven

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W207722629

FWCI: 38.31

Cites: 21

Cited by: 239

Related to: 10