ACM Home Page
Please provide us with feedback. Feedback
Where is the evidence against arrays and pointers?
Full text PdfPdf (192 KB)
Source ACM SIGPLAN Notices archive
Volume 27 ,  Issue 6  (June 1992) table of contents
Pages: 84 - 85  
Year of Publication: 1992
ISSN:0362-1340
Author
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 0,   Downloads (12 Months): 6,   Citation Count: 0
Additional Information:

references   index terms   collaborative colleagues  

Tools and Actions: Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/130981.130993
What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
1
[AI91] Derek Andrews & Darrel Ince, Practical Formal Methods with VDM, McGraw-Hill 1991.
 
2
[Hoare75] C.A.R. Hoare, "Recursive data structures", International Journal of Computer and Information Sciences Vol. 4 No. 2 (1975), 105-132. Reprinted in: C.A.R. Hoare & C.B. Jones (eds.), Essays in Computing Science, Prentice Hall 1989.
3
 
4
 
5