Thumbnail
Access Restriction
Subscribed

Author Rajamani, Sriram K. ♦ Ball, Thomas ♦ Levin, Vladimir
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Abstract SLAM is a program-analysis engine used to check if clients of an API follow the API's stateful usage rules.
Description Affiliation: Microsoft Research India, Bangalore (Rajamani, Sriram K.) || Microsoft Research, Redmond, WA (Ball, Thomas) || Microsoft, Redmond, WA (Levin, Vladimir)
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 54
Issue Number 7
Page Count 9
Starting Page 68
Ending Page 76


Open content in new tab

   Open content in new tab
Source: ACM Digital Library