Access Restriction

Author Weinberg, G. M. ♦ Gressett, G. L.
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Abstract How effective is a compiler at replacing explicit verification, and what is the cost of this technique?
Description Affiliation: IBM Systems Research Institute, New York, NY (Weinberg, G. M.; Gressett, G. L.)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 6
Issue Number 10
Page Count 4
Starting Page 610
Ending Page 613

Open content in new tab

   Open content in new tab
Source: ACM Digital Library