Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs
No abstract available.
Related papers
- Incremental analysis of constraint logic programs TOPLAS 2000
- Incremental Analysis of Evolving Alloy Models TACAS 2019
- Incremental execution of transformation specifications POPL 2004
- Global Analysis of Constraint Logic Programs TOPLAS 1996
- A Language Independent Task Engine for Incremental Name and Type Analysis SLE 2013
- Optimization and Relaxation in Constraint Logic Languages POPL 1996
- An Incremental Algorithm for Satisfying Hierarchies of Multiway Dataflow Constraints TOPLAS 1996
- Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems CAV 2024