Abstract interpretation
From MaRDI portal
Publication:4635587
DOI10.1145/2603088.2603165zbMath1401.68037OpenAlexW2163563828MaRDI QIDQ4635587
Publication date: 23 April 2018
Published in: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2603088.2603165
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Thread-modular analysis of release-acquire concurrency ⋮ On collecting semantics for program analysis ⋮ A framework for analysing state-abstraction methods
This page was built for publication: Abstract interpretation
