A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs (Q5504599)
From MaRDI portal
scientific article; zbMATH DE number 5496633
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs |
scientific article; zbMATH DE number 5496633 |
Statements
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs (English)
0 references
22 January 2009
0 references
