Skip to main content
Journal ArticleOPEN ACCESS

Static program analysis via 3-valued logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2004) 3114 15-30
DOI: 10.1007/978-3-540-27813-9_2
41Citations
Citations of this article
18Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

This paper reviews the principles behind the paradigm of "abstract interpretation via 3-valued logic," discusses recent work to extend the approach, and summarizes on-going research aimed at overcoming remaining limitations on the ability to create program-analysis algorithms fully automatically. © Springer-Verlag Berlin Heidelberg 2004.

Cite

CITATION STYLE

APA

Reps, T. W., Sagiv, M., & Wilhelm, R. (2004). Static program analysis via 3-valued logic. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3114, 15–30. https://doi.org/10.1007/978-3-540-27813-9_2

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free