An abstract interpretation framework for input data usage

DOI10.1007/978-3-319-89884-1_24zbMath1418.68122OpenAlexW2797273612MaRDI QIDQ2324002

Yanyan Li

Publication date: 13 September 2019

Full work available at URL: https://doi.org/10.1007/978-3-319-89884-1_24

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Adversarial logic

This page was built for publication: An abstract interpretation framework for input data usage