Mixing type checking and symbolic execution.

Authors :: Khoo, Yit Phang
Chang, Bor-Yuh Evan
Foster, Jeffrey S.
Source :: Proceedings of the 2010 ACM SIGPLAN Conference: Programming Language Design & Implementation; 6/ 5/2010, p436-447, 12p
Publication Year :: 2010

Language :: English
ISBNs :: 9781450300193
Database :: Complementary Index
Journal :: Proceedings of the 2010 ACM SIGPLAN Conference: Programming Language Design & Implementation
Publication Type :: Conference
Accession number :: 83674542
Full Text :: https://doi.org/10.1145/1806596.1806645