Abstract Interpretation Plugins for Type Systems
Paper in proceeding, 2008
Author
Tobias Gedell
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
Daniel Hedin
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (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)
Subject Categories
Software Engineering
Computer Science
ISBN
978-3-540-79979-5