--- layout: fc_discuss_archives title: Message 42 from Frama-C-discuss on September 2010 ---
Hello Pascal, 2010/9/20 Pascal Cuoq <pascal.cuoq at gmail.com>: > B/ Dataflow algorithm > > 1/ without using option -slevel: basic dataflow propagation from > Kildall 73 / Cousot 77. Is it those articles? Patrick Cousot & Radhia Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 238?252, Los Angeles, California, 1977. ACM Press, New York. http://www.di.ens.fr/~cousot/COUSOTpapers/POPL77.shtml A unified approach to global program optimization Annual Symposium on Principles of Programming Languages archive Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages table of contents Boston, Massachusetts Pages: 194 - 206 Year of Publication: 1973 Author Gary A. Kildall Naval Postgraduate School, Monterey, California http://portal.acm.org/citation.cfm?id=512927.512945&coll=GUIDE&dl=GUIDE&type=series&idx=SERIES317&part=series&WantType=Proceedings&title=POPL&CFID=105701026&CFTOKEN=43740434 Sincerely yours, david