Standard
Iterative fixed point computation for type-based strictness analysis. / Henglein, Fritz.
Static Analysis: First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings. ed. / Baudouin Le Charlier. Springer, 1994. p. 395-407 (Lecture notes in computer science, Vol. 864).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Henglein, F 1994,
Iterative fixed point computation for type-based strictness analysis. in B Le Charlier (ed.),
Static Analysis: First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings. Springer, Lecture notes in computer science, vol. 864, pp. 395-407, First International Static Analysis Symposium, Namur, Belgium,
28/09/1994.
https://doi.org/10.1007/3-540-58485-4_54
APA
Henglein, F. (1994).
Iterative fixed point computation for type-based strictness analysis. In B. Le Charlier (Ed.),
Static Analysis: First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings (pp. 395-407). Springer. Lecture notes in computer science Vol. 864
https://doi.org/10.1007/3-540-58485-4_54
Vancouver
Henglein F.
Iterative fixed point computation for type-based strictness analysis. In Le Charlier B, editor, Static Analysis: First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings. Springer. 1994. p. 395-407. (Lecture notes in computer science, Vol. 864).
https://doi.org/10.1007/3-540-58485-4_54
Author
Henglein, Fritz. / Iterative fixed point computation for type-based strictness analysis. Static Analysis: First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings. editor / Baudouin Le Charlier. Springer, 1994. pp. 395-407 (Lecture notes in computer science, Vol. 864).
Bibtex
@inproceedings{6ca0bcc074ce11dbbee902004c4f4f50,
title = "Iterative fixed point computation for type-based strictness analysis",
author = "Fritz Henglein",
year = "1994",
doi = "10.1007/3-540-58485-4_54",
language = "English",
isbn = "978-3-540-58485-8",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "395--407",
editor = "{Le Charlier}, Baudouin",
booktitle = "Static Analysis",
address = "Switzerland",
note = "null ; Conference date: 28-09-1994 Through 30-09-1994",
}
RIS
TY - GEN
T1 - Iterative fixed point computation for type-based strictness analysis
AU - Henglein, Fritz
N1 - Conference code: 1
PY - 1994
Y1 - 1994
U2 - 10.1007/3-540-58485-4_54
DO - 10.1007/3-540-58485-4_54
M3 - Article in proceedings
SN - 978-3-540-58485-8
T3 - Lecture notes in computer science
SP - 395
EP - 407
BT - Static Analysis
A2 - Le Charlier, Baudouin
PB - Springer
Y2 - 28 September 1994 through 30 September 1994
ER -