Widening Operators for Powerset Domains
Bibliographic Data
| ID | 23613182 |
|---|---|
| Authors | Roberto Bagnara (0000-0002-6163-6278, University of Parma), Patricia M Hill (University of Leeds), Enea Zaffanella (0000-0001-6388-2053, University of Parma) |
| Year | 2004 |
| Pages | 135-148 |
| Publication date | 2004-01-01 |
| Open Access | No |
| Type | CHAPTER |
| Venue | Verification, Model Checking, and Abstract Interpretation (SOURCE_BOOK) |
| Publisher | Springer Berlin Heidelberg (PUBLISHER) |
| DOI | 10.1007/978-3-540-24622-0_13 |
| OpenAlex | W1592791534 |
| ISBN | 9783540246220 |
| Language | EN |
| Citations received | 1 |
| References cited | 17 |
Algebra over a field · Algorithm · Base (topology) · Domain (mathematical analysis) · Geometry · Mathematical analysis · Operator (biology) · Parametric statistics · Polyhedron · Programming language · Pure mathematics · Regular polygon · Representation (politics) · Computer Science · Formal Methods in Verification · Logic, programming, and type systems · Mathematics · Model-Driven Software Engineering Techniques · Theoretical Computer Science
| Citations per year | 0.05 |
|---|---|
| Citation span | 2004 - 2004 (1) |
| Highly cited | No |