Searching for "Automatic Discovery of Linear Restraints Among Variables of a Program." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Automatic Discovery of Linear Restraints Among Variables of a Program
by Patrick Cousot, Nicolas Halbwachs — 1978
… AUTOMATIC DISCOVERY OF LINEAR RESTRAINTS AMONG VARIABLES OF A PROGRAM Patrick Cousot* and Nicolas Halbwachs…
Cited by 377 (30 self) – Add To MetaCart

Delay Analysis in Synchronous Programs
by N. Halbwachs — 1993
…. Automatic discovery of linear restraints among variables of a program. In 5th ACM Symposium on Principles…
Cited by 52 (4 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB