Automatic synthesis of optimal invariant assertions: Mathematical foundations

Patrick Cousot, Radhia Cousot

Research output: Contribution to journalArticle

Original languageEnglish (US)
Pages (from-to)1-12
Number of pages12
JournalACM SIGPLAN Notices
Volume12
Issue number8
DOIs
StatePublished - Aug 1 1977

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

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

In: ACM SIGPLAN Notices, Vol. 12, No. 8, 01.08.1977, p. 1-12.

Research output: Contribution to journalArticle

@article{2df394c06db54ed39f823ee427c531fa,
title = "Automatic synthesis of optimal invariant assertions: Mathematical foundations",
author = "Patrick Cousot and Radhia Cousot",
year = "1977",
month = "8",
day = "1",
doi = "10.1145/872734.806926",
language = "English (US)",
volume = "12",
pages = "1--12",
journal = "ACM SIGPLAN Notices",
issn = "1523-2867",
publisher = "Association for Computing Machinery (ACM)",
number = "8",

}

TY - JOUR

T1 - Automatic synthesis of optimal invariant assertions

T2 - Mathematical foundations

AU - Cousot, Patrick

AU - Cousot, Radhia

PY - 1977/8/1

Y1 - 1977/8/1

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

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

U2 - 10.1145/872734.806926

DO - 10.1145/872734.806926

M3 - Article

AN - SCOPUS:84976789945

VL - 12

SP - 1

EP - 12

JO - ACM SIGPLAN Notices

JF - ACM SIGPLAN Notices

SN - 1523-2867

IS - 8

ER -