Automatic synthesis of optimal invariant assertions: Mathematical foundations

Patrick Cousot, Radhia Cousot

Research output: Contribution to conferencePaper

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 languageEnglish (US)
Pages1-12
Number of pages12
DOIs
StatePublished - Aug 15 1977
EventSymposium on Artificial Intelligence and Programming Languages 1977 - Rochester, United States
Duration: Aug 15 1977Aug 17 1977

Other

OtherSymposium on Artificial Intelligence and Programming Languages 1977
CountryUnited States
CityRochester
Period8/15/778/17/77

Fingerprint

Static analysis

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Cousot, P., & Cousot, R. (1977). Automatic synthesis of optimal invariant assertions: Mathematical foundations. 1-12. Paper presented at Symposium on Artificial Intelligence and Programming Languages 1977, Rochester, United States. https://doi.org/10.1145/800228.806926

Automatic synthesis of optimal invariant assertions : Mathematical foundations. / Cousot, Patrick; Cousot, Radhia.

1977. 1-12 Paper presented at Symposium on Artificial Intelligence and Programming Languages 1977, Rochester, United States.

Research output: Contribution to conferencePaper

Cousot, P & Cousot, R 1977, 'Automatic synthesis of optimal invariant assertions: Mathematical foundations' Paper presented at Symposium on Artificial Intelligence and Programming Languages 1977, Rochester, United States, 8/15/77 - 8/17/77, pp. 1-12. https://doi.org/10.1145/800228.806926
Cousot P, Cousot R. Automatic synthesis of optimal invariant assertions: Mathematical foundations. 1977. Paper presented at Symposium on Artificial Intelligence and Programming Languages 1977, Rochester, United States. https://doi.org/10.1145/800228.806926
Cousot, Patrick ; Cousot, Radhia. / Automatic synthesis of optimal invariant assertions : Mathematical foundations. Paper presented at Symposium on Artificial Intelligence and Programming Languages 1977, Rochester, United States.12 p.
@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",
year = "1977",
month = "8",
day = "15",
doi = "10.1145/800228.806926",
language = "English (US)",
pages = "1--12",
note = "Symposium on Artificial Intelligence and Programming Languages 1977 ; Conference date: 15-08-1977 Through 17-08-1977",

}

TY - CONF

T1 - Automatic synthesis of optimal invariant assertions

T2 - Mathematical foundations

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

SP - 1

EP - 12

ER -