Set Constraints and Set-Based Analysis
| Author(s) : | Joxan Jaffar Nevin Heintze, |
| Publisher : | N/A |
| Publication Date : | 1994 |
| ISSN : | N/A |
| Abstract : | Set expressions over a signature \Sigma of function symbols are a natural representation of sets of elements constructed from \Sigma, and set constraints express basic relationships between these sets. In the literature, set constraints have between used mostly in the context of, |