Media type: E-Article Title: About synchronous programming and abstract interpretation Contributor: Halbwachs, Nicolas Published: Elsevier BV, 1998 Published in: Science of Computer Programming, 31 (1998) 1, Seite 75-89 Language: English DOI: 10.1016/s0167-6423(96)00041-x ISSN: 0167-6423 Keywords: Software Origination: Footnote: Access State: Open Access