Iterative fixed point computation for type-based strictness analysis
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Originalsprog | Engelsk |
---|---|
Titel | Static Analysis : First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings |
Redaktører | Baudouin Le Charlier |
Antal sider | 13 |
Forlag | Springer |
Publikationsdato | 1994 |
Sider | 395-407 |
ISBN (Trykt) | 978-3-540-58485-8 |
ISBN (Elektronisk) | 978-3-540-49005-0 |
DOI | |
Status | Udgivet - 1994 |
Begivenhed | First International Static Analysis Symposium - Namur, Belgien Varighed: 28 sep. 1994 → 30 sep. 1994 Konferencens nummer: 1 |
Konference
Konference | First International Static Analysis Symposium |
---|---|
Nummer | 1 |
Land | Belgien |
By | Namur |
Periode | 28/09/1994 → 30/09/1994 |
Navn | Lecture notes in computer science |
---|---|
Vol/bind | 864 |
ISSN | 0302-9743 |
ID: 167553379