Converting One Type-Based Abstract Domain to Another (Q5302885)
From MaRDI portal
scientific article; zbMATH DE number 5491967
Language | Label | Description | Also known as |
---|---|---|---|
English | Converting One Type-Based Abstract Domain to Another |
scientific article; zbMATH DE number 5491967 |
Statements
Converting One Type-Based Abstract Domain to Another (English)
0 references
15 January 2009
0 references