๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Toward higher-level abstractions for software systems

โœ Scribed by Mary Shaw

Book ID
103614598
Publisher
Elsevier Science
Year
1990
Tongue
English
Weight
683 KB
Volume
5
Category
Article
ISSN
0169-023X

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

The Parma Polyhedra Library: Toward a co
The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems
โœ Roberto Bagnara; Patricia M. Hill; Enea Zaffanella ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 877 KB

Since its inception as a student project in 2001, initially just for the handling (as the name implies) of convex polyhedra, the Parma Polyhedra Library has been continuously improved and extended by joining scrupulous research on the theoretical foundations of (possibly non-convex) numerical abstra