Upper adjoints for fast inter-procedural variable equalities
Müller-Olm Markus, Seidl Helmut
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Drossopoulou Sophia
Buchtitel: Programming Languages and Systems (Band 4960)
Seitenbereich: 178-192
Verlag: Springer
Titel der Reihe: Lecture Notes in Computer Science
Nr. in Reihe: 4960
Status: Veröffentlicht
Veröffentlichungsjahr: 2008
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: ESOP 2008: 17th European Symposium on Programming, Budapest, Hungary
ISBN: 978-3-540-78738-9
Link zum Volltext: http://dx.doi.org/10.1007/978-3-540-78739-6_15
Autor*innen der Universität Münster
| Müller-Olm, Markus |
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 |