Book Chapter: Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures

[springerlink:10.1007:978-3-540-74407-8_20]

Peter Lammich, Markus Müller-Olm, Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures, Caires, Luís and Vasconcelos, Vasco (Ed.), CONCUR 2007 -- Concurrency Theory, pp. 287-302, Springer Berlin / Heidelberg, 2007.

Download

[DOI]

Original article available at springerlink.com.

BibTeX

@incollection{springerlink:10.1007:978-3-540-74407-8_20,
  title = {Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures},
  booktitle = {CONCUR 2007 -- Concurrency Theory},
  year = {2007},
  publisher = {Springer Berlin / Heidelberg},
  volume = {4703},
  pages = {287-302},
  author = {Peter Lammich and Markus M{\"u}ller-Olm},
  editor = {Caires, Lu{'\i}s and Vasconcelos, Vasco},
  series = {Lecture Notes in Computer Science},
  doi = {10.1007/978-3-540-74407-8_20},
}

Authors at the institute

Partner
Prof. Markus Müller-Olm

Projects

Project

IFC for Mobile Components