Access Restriction

Author London, Ralph L.
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Keyword Proof of algorithms ♦ Debugging ♦ In-place sorting ♦ Metatheory ♦ Certification ♦ Sorting
Description Affiliation: Univ. of Wisconsin, Madison (London, Ralph 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 13
Issue Number 6
Page Count 3
Starting Page 371
Ending Page 373

Open content in new tab

   Open content in new tab
Source: ACM Digital Library