Can I read Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '78 - Automatic discovery of linear restraints among variables of a program on EtoBox?

Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '78 - Automatic discovery of linear restraints among variables of a program by Cousot, Patrick; Halbwachs, Nicolas is a scholarly article available to read on EtoBox.

What is Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '78 - Automatic discovery of linear restraints among variables of a program about?

The model of abstract interpretation of programs developed by Cousot[1976],Cousot [1977] is applied to the static determination of linear equality or inequality relations among variables of programs. Fifth Annual ACM Symposium on Principles of Programming Languages

Author

Cousot, Patrick; Halbwachs, Nicolas

Publisher

ACM Press

Published

1978

Language

EN