Automatic synthesis of optimal invariant assertions: Mathematical foundations

Patrick Cousot; Radhia Cousot

doi:10.1145/800228.806926

Automatic synthesis of optimal invariant assertions: Mathematical foundations

Patrick Cousot, Radhia Cousot

Computer Science

Research output: Contribution to conference › Paper › peer-review

Abstract

The problem of discovering invariant assertions of programs is explored in light of the fixpoint approach in the static analysis of programs, Cousot [1977a], Cousot[1977b].

Original language	English (US)
Pages	1-12
Number of pages	12
DOIs	https://doi.org/10.1145/800228.806926
State	Published - Aug 15 1977
Event	Symposium on Artificial Intelligence and Programming Languages 1977 - Rochester, United States Duration: Aug 15 1977 → Aug 17 1977

Other

Other	Symposium on Artificial Intelligence and Programming Languages 1977
Country/Territory	United States
City	Rochester
Period	8/15/77 → 8/17/77

ASJC Scopus subject areas

General Computer Science

Access to Document

10.1145/800228.806926

Cite this

@conference{a10fcf933ca343279375c61e5d2a665b,

title = "Automatic synthesis of optimal invariant assertions: Mathematical foundations",

abstract = "The problem of discovering invariant assertions of programs is explored in light of the fixpoint approach in the static analysis of programs, Cousot [1977a], Cousot[1977b].",

author = "Patrick Cousot and Radhia Cousot",

note = "Publisher Copyright: {\textcopyright} 1977 Association for Computing Machinery. All rights reserved.; Symposium on Artificial Intelligence and Programming Languages 1977 ; Conference date: 15-08-1977 Through 17-08-1977",

year = "1977",

month = aug,

day = "15",

doi = "10.1145/800228.806926",

language = "English (US)",

pages = "1--12",

}

TY - CONF

T1 - Automatic synthesis of optimal invariant assertions

T2 - Symposium on Artificial Intelligence and Programming Languages 1977

AU - Cousot, Patrick

AU - Cousot, Radhia

PY - 1977/8/15

Y1 - 1977/8/15

N2 - The problem of discovering invariant assertions of programs is explored in light of the fixpoint approach in the static analysis of programs, Cousot [1977a], Cousot[1977b].

AB - The problem of discovering invariant assertions of programs is explored in light of the fixpoint approach in the static analysis of programs, Cousot [1977a], Cousot[1977b].

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

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

U2 - 10.1145/800228.806926

DO - 10.1145/800228.806926

M3 - Paper

AN - SCOPUS:84878892024

SP - 1

EP - 12

Y2 - 15 August 1977 through 17 August 1977

ER -

Automatic synthesis of optimal invariant assertions: Mathematical foundations

Abstract

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this