Practical Model-Based Static Analysis for Definite Logic Programs

Gallagher, John; Boulanger, Dmitri; Saglam, Hüseyin

doi:10.7551/mitpress/4301.003.0038

Skip Nav Destination

Logic Programming

Logic Programming: The 1995 International Symposium

Edited by

The MIT Press

DOI:

https://doi.org/10.7551/mitpress/4301.001.0001

ISBN electronic:

9780262291248

Publication date:

1995

Book Chapter

Practical Model-Based Static Analysis for Definite Logic Programs

John Gallagher

Search for other works by this author on:

This Site

Google Scholar

Dmitri Boulanger

Search for other works by this author on:

This Site

Google Scholar

Hüseyin Saglam

Search for other works by this author on:

This Site

Google Scholar

Doi:

https://doi.org/10.7551/mitpress/4301.003.0038

Published:

1995

You do not currently have access to this chapter.

Don't already have an account? Register

You could not be signed in. Please check your email address / username and password and try again.

Practical Model-Based Static Analysis for Definite Logic Programs

First Page Preview

A product of The MIT Press

MIT Press Direct

Information

MIT Press

Contact Us

Practical Model-Based Static Analysis for Definite Logic Programs Unavailable

First Page Preview

Sign in

Client Account

Sign in via your Institution

A product of The MIT Press

MIT Press Direct

Information

MIT Press

Contact Us

This Feature Is Available To Subscribers Only

Practical Model-Based Static Analysis for Definite Logic Programs