Work

Using safe approximations of fixed points for analysis of logic programs

Year: 1989

Type: book

Source: The MIT Press eBooks

Authors: John P. Gallagher, Michael Codish, E.Y. Shapiro

Language: German

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1543123381

FWCI: 3.924

Cites:

Cited by: 9

Related to: 10