Type Analysis and Data Structure Selection
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Standard
Type Analysis and Data Structure Selection. / Henglein, Fritz; Cai, Jiazhen; Facon, Philippe; Paige, Robert; Schonberg, Edmond.
Constructing Programs from Specifications. North-Holland, 1991. p. 125-164.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Harvard
Henglein, F, Cai, J, Facon, P, Paige, R & Schonberg, E 1991, Type Analysis and Data Structure Selection. in Constructing Programs from Specifications. North-Holland, pp. 125-164.
APA
Henglein, F., Cai, J., Facon, P., Paige, R., & Schonberg, E. (1991). Type Analysis and Data Structure Selection. In Constructing Programs from Specifications (pp. 125-164). North-Holland.
Vancouver
Henglein F, Cai J, Facon P, Paige R, Schonberg E. Type Analysis and Data Structure Selection. In Constructing Programs from Specifications. North-Holland. 1991. p. 125-164
Author
Bibtex
@inbook{e1623e10657311de8bc9000ea68e967b,
title = "Type Analysis and Data Structure Selection",
author = "Fritz Henglein and Jiazhen Cai and Philippe Facon and Robert Paige and Edmond Schonberg",
year = "1991",
language = "English",
pages = "125--164",
booktitle = "Constructing Programs from Specifications",
publisher = "North-Holland",
}
RIS
TY - CHAP
T1 - Type Analysis and Data Structure Selection
AU - Henglein, Fritz
AU - Cai, Jiazhen
AU - Facon, Philippe
AU - Paige, Robert
AU - Schonberg, Edmond
PY - 1991
Y1 - 1991
M3 - Book chapter
SP - 125
EP - 164
BT - Constructing Programs from Specifications
PB - North-Holland
ER -
ID: 12873287