16 results on '"Schachte, Peter"'
Search Results
2. Compiling CP subproblems to MDDs and d-DNNFs
3. A complete refinement procedure for regular separability of context-free languages
4. Information loss in knowledge compilation: A comparison of Boolean envelopes
5. Transformation-Enabled Precondition Inference.
6. A Fresh Look at Zones and Octagons.
7. Precise goal-independent abstract interpretation of constraint logic programs
8. Precise Goal-Independent Abstract Interpretation of Constraint Logic Programs
9. An iterative approach to precondition inference using constrained Horn clauses.
10. Reference Abstract Domains and Applications to String Analysis.
11. Adtpp: lightweight efficient safe polymorphic algebraic data types for C.
12. Horn clauses as an intermediate representation for program analysis and transformation.
13. Failure tabled constraint logic programming by interpolation.
14. Estimating the overlap between dependent computations for automatic parallelization.
15. UN-KLEENE BOOLEAN EQUATION SOLVING.
16. Two classes of Boolean functions for dependency analysis
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.