Abstract Interpretation Plugins for Type Systems
Paper in proceedings, 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

Subject Categories

Software Engineering

Computer Science

ISBN

978-3-540-79979-5

More information

Created

10/6/2017