Static program analysis via 3-valued logic

Thomas W. Reps; Mooly Sagiv; Reinhard Wilhelm

doi:10.1007/978-3-540-27813-9_2

Static program analysis via 3-valued logic

Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm

School of Computer Sciences

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

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.

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Editors	Rajeev Alur, Doron A. Peled
Publisher	Springer Verlag
Pages	15-30
Number of pages	16
ISBN (Print)	3540223428, 9783540223429
DOIs	https://doi.org/10.1007/978-3-540-27813-9_2
State	Published - 2004

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3114
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-540-27813-9_2

Cite this

Reps, T. W., Sagiv, M., & Wilhelm, R. (2004). Static program analysis via 3-valued logic. In R. Alur, & D. A. Peled (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 15-30). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3114). Springer Verlag. https://doi.org/10.1007/978-3-540-27813-9_2

Reps, Thomas W. ; Sagiv, Mooly ; Wilhelm, Reinhard. / Static program analysis via 3-valued logic. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). editor / Rajeev Alur ; Doron A. Peled. Springer Verlag, 2004. pp. 15-30 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{0cec064342f840769825138a9a86f305,

title = "Static program analysis via 3-valued logic",

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.",

author = "Reps, {Thomas W.} and Mooly Sagiv and Reinhard Wilhelm",

year = "2004",

doi = "10.1007/978-3-540-27813-9_2",

language = "אנגלית",

isbn = "3540223428",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "15--30",

editor = "Rajeev Alur and Peled, {Doron A.}",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

Reps, TW, Sagiv, M & Wilhelm, R 2004, Static program analysis via 3-valued logic. in R Alur & DA Peled (eds), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3114, Springer Verlag, pp. 15-30. https://doi.org/10.1007/978-3-540-27813-9_2

Static program analysis via 3-valued logic. / Reps, Thomas W.; Sagiv, Mooly; Wilhelm, Reinhard.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ed. / Rajeev Alur; Doron A. Peled. Springer Verlag, 2004. p. 15-30 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3114).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

TY - CHAP

T1 - Static program analysis via 3-valued logic

AU - Reps, Thomas W.

AU - Sagiv, Mooly

AU - Wilhelm, Reinhard

PY - 2004

Y1 - 2004

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=26944484921&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-27813-9_2

DO - 10.1007/978-3-540-27813-9_2

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.chapter???

AN - SCOPUS:26944484921

SN - 3540223428

SN - 9783540223429

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 15

EP - 30

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A2 - Alur, Rajeev

A2 - Peled, Doron A.

PB - Springer Verlag

ER -

Reps TW, Sagiv M, Wilhelm R. Static program analysis via 3-valued logic. In Alur R, Peled DA, editors, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2004. p. 15-30. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-540-27813-9_2

Static program analysis via 3-valued logic

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this