Static program analysis via 3-valued logic

Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-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 languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
EditorsRajeev Alur, Doron A. Peled
PublisherSpringer Verlag
Pages15-30
Number of pages16
ISBN (Print)3540223428, 9783540223429
DOIs
StatePublished - 2004

Publication series

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

Fingerprint

Dive into the research topics of 'Static program analysis via 3-valued logic'. Together they form a unique fingerprint.

Cite this