Iterative fixed point computation for type-based strictness analysis

Fritz Henglein

doi:10.1007/3-540-58485-4_54

Iterative fixed point computation for type-based strictness analysis

Department of Computer Science

3 Citations (Scopus)

Original language	English
Title of host publication	Static Analysis : First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings
Editors	Baudouin Le Charlier
Number of pages	13
Publisher	Springer
Publication date	1994
Pages	395-407
ISBN (Print)	978-3-540-58485-8
ISBN (Electronic)	978-3-540-49005-0
DOIs	https://doi.org/10.1007/3-540-58485-4_54
Publication status	Published - 1994
Event	First International Static Analysis Symposium - Namur, Belgium Duration: 28 Sept 1994 → 30 Sept 1994 Conference number: 1

Conference

Conference	First International Static Analysis Symposium
Number	1
Country/Territory	Belgium
City	Namur
Period	28/09/1994 → 30/09/1994

Series	Lecture notes in computer science
Volume	864
ISSN	0302-9743

Access to Document

10.1007/3-540-58485-4_54

Cite this

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

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

@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",

note = "First International Static Analysis Symposium ; Conference date: 28-09-1994 Through 30-09-1994",

}

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

T2 - First International Static Analysis Symposium

Y2 - 28 September 1994 through 30 September 1994

ER -