Last update: Thu Jun 20 02:00:37 MDT 2019
@Article{Hendren:1993:DPL,
author = "Laurie J. Hendren and Guang R. Gao",
title = "Designing programming languages for the analyzability
of pointer data structures",
journal = j-COMP-LANGS,
volume = "19",
number = "2",
pages = "119--134",
month = apr,
year = "1993",
CODEN = "COLADA",
ISSN = "0096-0551 (print), 1873-6742 (electronic)",
ISSN-L = "0096-0551",
bibdate = "Tue Mar 25 14:04:06 MST 1997",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/complngs.bib",
acknowledgement = ack-nhfb,
affiliation = "McGill Univ",
affiliationaddress = "Montreal, Que, Can",
classcodes = "C6140 (Programming languages); C6150C (Compilers,
interpreters and other processors); C6120 (File
organisation)",
classification = "721.1; 723.1; 723.1.1; 723.2",
corpsource = "Sch. of Comput. Sci., McGill Univ., Montreal, Que.,
Canada",
journal-URL = "http://www.sciencedirect.com/science/journal/00960551",
journalabr = "Comput Lang",
keywords = "Analysis; Analyzability; analyzability; associated
compiler; C; C (programming language); Computational
linguistics; Computer programming languages; data
structures; Data structures; Fine grain parallelism;
fine-grain parallelism; Imperative programming
languages; Loop unrolling; Non scientific C programs;
Path matrices; path matrices; pointer data; Pointer
data structures; Program compilers; program compilers;
programming languages; Programming theory; programs;
speculative transversability; Speculative
traversability; Static interference analysis; static
interference analysis; Structural inductivity;
structural inductivity; structures; while loops",
treatment = "P Practical",
}