Export 1 results: 
Search results for biblio_type:Book Chapter
Filters: Author is M. Sagiv [Reset Search]
Filters: Author is M. Sagiv [Reset Search]
 "Understanding Cobol Systems Using Inferred Types." In Program Analysis, edited by H. R. Nielson and M. Sag, iv, 15. Dagstuhl Seminar Report 236. Dagstuhl, 1999.