Abstract Interpretation Plugins for Type Systems
Paper i proceeding, 2008
Författare
Tobias Gedell
Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)
Daniel Hedin
Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)
Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings
Vol. LNCS 5140 184-198
978-3-540-79979-5 (ISBN)
Ämneskategorier
Programvaruteknik
Datavetenskap (datalogi)
ISBN
978-3-540-79979-5