Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Looking for paper describing Frama-C internals



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