scientific article; zbMATH DE number 4178750
From MaRDI portal
zbMATH Open0715.68016MaRDI QIDQ3201751FDOQ3201751
Authors: Ulf Nilsson 
Publication date: 1989
Title of this publication is not available (Why is that?)
Recommendations
Logic programming (68N17) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55)
Cited In (23)
- Title not available (Why is that?)
- Precise goal-independent abstract interpretation of constraint logic programs.
- Static analysis of logic programs for independent and parallelism
- Sequence-based abstract interpretation of Prolog
- Correct answers for first order logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Lifting abstract interpreters to quantified logical domains
- Logical approximation for program analysis
- Title not available (Why is that?)
- Title not available (Why is that?)
- A freeness and sharing analysis of logic programs based on a pre-interpretation
- An abstract interpretation framework for optimizing dynamic modular logic languages
- A novel derivation framework for definite logic program
- Abstract interpretation based on oldt resolution
- Abstract interpretation of resolution-based semantics
- A practical framework for theabstract interpretation of logic programs
- Title not available (Why is that?)
- Program Development in Computational Logic
- Internal and External Logics of Abstract Interpretations
- Bottom-up abstract interpretation of logic programs
- Semantics-based program analysis for logic-based languages using XSB
- Abstract interpretation and application to logic programs
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3201751)
