Skip to main content
Conference Proceedings

Abstract interpretation: "A" unified lattice model for static analysis of programs by construction or approximation of fixpoints

Conference Record of the Annual ACM Symposium on Principles of Programming Languages (1977) Part F130756 238-252
DOI: 10.1145/512950.512973
4.6kCitations
Citations of this article
510Readers
Mendeley users who have this article in their library.
Get full text

References Powered by Scopus

An axiomatic basis for computer programming

Communications of the ACM
3601Citations
N/AReaders
Get full text

A lattice-theoretical fixpoint theorem and its applications

Pacific Journal of Mathematics
1966Citations
N/AReaders
Get full text

Affine relationships among variables of a program

Acta Informatica
313Citations
N/AReaders
Get full text
View more at Scopus

Cited by Powered by Scopus

Making smart contracts smarter

Proceedings of the ACM Conference on Computer and Communications Security
1718Citations
N/AReaders
Get full text

Language-based information-flow security

IEEE Journal on Selected Areas in Communications
1481Citations
N/AReaders
Get full text

The algorithmic analysis of hybrid systems

Theoretical Computer Science
1412Citations
N/AReaders
Get full text
View more at Scopus

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Cite

CITATION STYLE

APA

Cousot, P., & Cousot, R. (1977). Abstract interpretation: “A” unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the Annual ACM Symposium on Principles of Programming Languages (Vol. Part F130756, pp. 238–252). Association for Computing Machinery. https://doi.org/10.1145/512950.512973

Readers over time

‘08‘09‘10‘11‘12‘13‘14‘15‘16‘17‘18‘19‘20‘21‘22‘23‘24‘25020406080

Readers' Seniority

Tooltip

PhD / Post grad / Masters / Doc 294

74%

Professor / Associate Prof. 50

13%

Researcher 47

12%

Lecturer / Post doc 7

2%

Readers' Discipline

Tooltip

Computer Science 400

93%

Engineering 19

4%

Agricultural and Biological Sciences 6

1%

Business, Management and Accounting 4

1%

Article Metrics

Tooltip
Mentions
News Mentions: 1
References: 6

Save time finding and organizing research with Mendeley

Sign up for free
0