Static Analysis of Actors by Abstract Interpretation: Applying Abstract Interpretation to an Higher Order Process Calculus

Abstract

von Pierre-Loïc Garoche

Taschenbuch

ISBN: 978-3-8433-8954-9

ISBN-10: 3-8433-8954-3

LAP LAMBERT Academic Publishing · 2010