External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Structuring Abstract Interpreters Through State and Value Abstractions

Sandrine Blazy, David Bühler, Boris Yakobowski. Structuring Abstract Interpreters Through State and Value Abstractions. In Ahmed Bouajjani, David Monniaux, editors, Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings. Volume 10145 of Lecture Notes in Computer Science, pages 112-130, Springer, 2017. [doi]

Authors

Sandrine Blazy

This author has not been identified. Look up 'Sandrine Blazy' in Google

David Bühler

This author has not been identified. Look up 'David Bühler' in Google

Boris Yakobowski

This author has not been identified. Look up 'Boris Yakobowski' in Google
runs on