Formal verification of synchronous data-flow program transformations toward certified compilers

✍ Scribed by Ngo, Van Chan; Talpin, Jean-Pierre; Gautier, Thierry; Guernic, Paul; Besnard, Loïc

• Book ID: 121619457
• Publisher: Springer-Verlag
• Year: 2013
• Tongue: English
• Weight: 607 KB
• Volume: 7
• Category: Article
• ISSN: 2095-2228
• DOI: 10.1007/s11704-013-3910-8