5 results on '"Schachte, Peter"'
Search Results
2. An iterative approach to precondition inference using constrained Horn clauses
3. Horn clauses as an intermediate representation for program analysis and transformation
4. Failure tabled constraint logic programming by interpolation
5. Estimating the overlap between dependent computations for automatic parallelization
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.