N
Nataliia Stulova
Researcher at IMDEA
Publications - 1
Citations - 11
Nataliia Stulova is an academic researcher from IMDEA. The author has contributed to research in topics: Overhead (computing) & Semantics (computer science). The author has an hindex of 1, co-authored 1 publications receiving 10 citations. Previous affiliations of Nataliia Stulova include Technical University of Madrid.
Papers
More filters
Journal ArticleDOI
Some trade-offs in reducing the overhead of assertion run-time checks via static analysis
Nataliia Stulova,Nataliia Stulova,José F. Morales,Manuel V. Hermenegildo,Manuel V. Hermenegildo +4 more
TL;DR: The effectiveness of abstract interpretation in detecting parts of program specifications that can be statically simplified to true or false, as well as in reducing the cost of the run-time checks required for the remaining parts of these specifications are explored.