How to Write System-specific, Static Checkers in Metal (2002)

Cached

Download Links

by Benjamin Chelf , Dawson Engler , Seth Hallem
Venue:In PASTE ’02: Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Citations:8 - 0 self