Last update: Thu Jun 20 02:00:37 MDT 2019
@Article{Berry:1977:PDAb, author = "D. M. Berry", title = "Pointers and data abstractions in high level languages. {II}. Correctness proofs", journal = j-COMP-LANGS, volume = "2", number = "4", pages = "149--170", month = "????", year = "1977", CODEN = "COLADA", ISSN = "0096-0551 (print), 1873-6742 (electronic)", ISSN-L = "0096-0551", bibdate = "Tue Mar 25 14:04:06 MST 1997", bibsource = "http://www.math.utah.edu/pub/tex/bib/complngs.bib", acknowledgement = ack-nhfb, classcodes = "C6140D (High level languages)", corpsource = "Computer Sci. Dept., Univ. of California, Los Angeles, CA, USA", journal-URL = "http://www.sciencedirect.com/science/journal/00960551", keywords = "correctness; data abstractions; high level languages; pointers; programming languages; reliable; software", treatment = "T Theoretical or Mathematical", }