Analysis of modular arithmetic
Müller-Olm Markus, Seidl Helmut
Research article (journal) | Peer reviewedDetails about the publication
Journal: ACM Transactions on Programming Languages and Systems
Volume: 29
Issue: 5
Status: Published
Release year: 2007 (31/12/2007)
Language in which the publication is written: English
Authors from the University of Münster
| Müller-Olm, Markus |
Projects the publication originates from
SPP 1496 - WP: Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs (1st funding period) (IFC for Mobile Components) Duration: 01/10/2010 - 30/09/2013 | 1st Funding period Funded by: DFG - Priority Programme Type of project: Subproject in DFG-joint project hosted outside University of Münster |