×

zbMATH — the first resource for mathematics

Proceedings of the 5th international workshop on numerical and symbolic abstract domains, NSAD 2014, Munich, Germany, September 10, 2014. (English) Zbl 1310.68020
Electronic Notes in Theoretical Computer Science 307. Amsterdam: Elsevier. 45 p., electronic only (2014).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding workshop see [Zbl 1284.68021].
Indexed articles:
Amato, Gianluca; Scozzari, Francesca; Zaffanella, Enea, Efficient constraint/generator removal from double description of polyhedra, 3-15, electronic only [Zbl 1337.68262]
Maisonneuve, Vivien; Hermant, Olivier; Irigoin, François, Computing invariants with transformers: experimental scalability and accuracy, 17-31, electronic only [Zbl 1337.68168]
Wu, Xueguang; Chen, Liqian; Wang, Ji, An abstract domain to infer symbolic ranges over nonnegative parameters, 33-45, electronic only [Zbl 1337.68077]

MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
00B25 Proceedings of conferences of miscellaneous specific interest
PDF BibTeX XML Cite
Full Text: Link