A Aralex Aachen research explorer

January 01, 1978 conference-paper

Automatic discovery of linear restraints among variables of a program

ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL)

DOI: 10.1145/512760.512770 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 1,620

IC3 for Loop Invariant Generation in Deductive Analysis
2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

0

citations
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

7

citations

2 results

References 0