Precise fixpoint-based analysis of programs with thread-creation and procedures
Lammich Peter, Müller-Olm Markus
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Caires Luís, Vasconcelos Vasco T.
Buchtitel: CONCUR 2007 - Concurrency Theory (Band 4703)
Seitenbereich: 287-302
Verlag: Springer
Erscheinungsort: Berlin
Titel der Reihe: Lecture Notes in Computer Science
Nr. in Reihe: 4703
Status: Veröffentlicht
Veröffentlichungsjahr: 2007
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: CONCUR 2007: 18th International Conference on Concurrency Theory, September 3-8, 2007, Lisbon, Portugal
Link zum Volltext: http://dx.doi.org/10.1007/978-3-540-74407-8_20
Autor*innen der Universität Münster
| Lammich, Peter | Institut für Informatik |
| Müller-Olm, Markus | Professur für Praktische Informatik (Prof. Müller-Olm) |
Projekte, aus denen die Publikation entstanden ist
SPP 1496 - Teilprojekt: Informationsflusskontrolle für mobile Komponenten mittels präziser Analyse paralleler Programme (IFC for Mobile Components) Laufzeit: 01.10.2010 - 30.09.2013 | 1. Förderperiode Gefördert durch: DFG - Schwerpunktprogramm Art des Projekts: Teilprojekt in DFG-Verbund koordiniert außerhalb der Universität Münster |