×

zbMATH — the first resource for mathematics

Semantic-directed clumping of disjunctive abstract states. (English) Zbl 1380.68129
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 32-45 (2017).
MSC:
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
03B70 Logic in computer science
Software:
FixBag; MemCAD; Predator; TVLA
PDF BibTeX XML Cite
Full Text: DOI