A logic for information flow analysis with an application to forward slicing of simple imperative programs

✍ Scribed by Torben Amtoft; Anindya Banerjee

• Book ID: 108261863
• Publisher: Elsevier Science
• Year: 2007
• Tongue: English
• Weight: 543 KB
• Volume: 64
• Category: Article
• ISSN: 0167-6423
• DOI: 10.1016/j.scico.2006.03.002