Thumbnail
Access Restriction
Subscribed

Author Schulte, Wolfram ♦ Venter, Herman ♦ Leino, K. Rustan M. ♦ Müller, Peter ♦ Barnett, Mike ♦ Fähndrich, Manuel
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Abstract Can a programming language really help programmers write better programs?
Description Affiliation: Microsoft Research, Redmond, WA (Barnett, Mike; Fähndrich, Manuel; Leino, K. Rustan M.; Schulte, Wolfram; Venter, Herman) || Swiss Federal Institute of Technology (ETH), Zürich, Switzerland (Müller, Peter)
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 6
Page Count 11
Starting Page 81
Ending Page 91


Open content in new tab

   Open content in new tab
Source: ACM Digital Library