zbMATH — the first resource for mathematics

Proceedings of the 4th international workshop on numerical and symbolic abstract domains, NSAD 2012, Deauville, France, September 10, 2012. (English) Zbl 1284.68021
Electronic Notes in Theoretical Computer Science 287. Amsterdam: Elsevier. 100 p., electronic only (2012).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding workshop see [Zbl 1284.68019].
Indexed articles:
Martel, Matthieu, Accurate evaluation of arithmetic expressions (invited talk), 3-16 [Zbl 1294.68060]
Amato, Gianluca; Scozzari, Francesca, The abstract domain of parallelotopes, 17-28 [Zbl 1294.68049]
Beckschulze, Eva; Kowalewski, Stefan; Brauer, Jörg, Access-based localization for octagons, 29-40 [Zbl 1294.68050]
Bouaziz, Mehdi, TreeKs: a functor to make numerical abstract domains scalable, 41-52 [Zbl 1294.68051]
Fulara, Jędrzej, Generic abstraction of dictionaries and arrays, 53-64 [Zbl 1294.68054]
Goubault, Eric; Le Gall, Tristan; Putot, Sylvie, An accurate join for zonotopes, preserving affine input/output relations, 65-76 [Zbl 1294.68055]
Massé, Damien, Proving termination by policy iteration, 77-88 [Zbl 1294.68061]
Miné, Antoine, Inferring sufficient conditions with backward polyhedral under-approximations, 89-100 [Zbl 1294.68062]

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68Q55 Semantics in the theory of computing
68W30 Symbolic computation and algebraic computation
00B25 Proceedings of conferences of miscellaneous specific interest
Full Text: Link