Amanote Research
Register
Sign In
Domain Construction for Mode Analysis of Typed Logic Programs
doi 10.7551/mitpress/4299.003.0044
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1997
Authors
Unknown
Publisher
The MIT Press
Related search
Mode Analysis of Functional Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Well-Typed Logic Programs Are Not Wrong
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Basic Forward Chaining Construction for Logic Programs
Incremental Analysis of Logic Programs
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatic Termination Analysis of Logic Programs
An Analysis of Loop Checking Mechanisms for Logic Programs
Theoretical Computer Science
Computer Science
Theoretical Computer Science
A Program Transformation for Backwards Analysis of Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Task Granularity Analysis in Logic Programs
