Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs
Abstract elided by the publisher.
Related papers
- CLAP: recording local executions to reproduce concurrency failures PLDI 2013
- Automatic Derivation of Timing Constraints by Failure Analysis CAV 2002
- Concurrency debugging with differential schedule projections PLDI 2015
- Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic TOPLAS 1984
- Constraint-based termination analysis of logic programs TOPLAS 1999
- A history of the Oz multiparadigm language HOPL 2020
- Boolean Algebra of Shape Analysis Constraints VMCAI 2004
- Collections, Cardinalities, and Relations VMCAI 2010