Relational abstract interpretation of higher-order functional programs

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Actes JTASPEFL '91, Bordeaux, France. BIGRE
Editors	M. Billaud, P. Casteran, M.-M. Corsini, K. Musumbu, A. Rauzy
Place of Publication	Rennes, France
Publisher	IRISA
Pages	33-36
Volume	74
State	Published - Oct 1991

Cite this

@inproceedings{f507c906803c4402b5ac6d263e1c5b6a,

title = "Relational abstract interpretation of higher-order functional programs",

author = "Patrick Cousot and Radhia Cousot",

year = "1991",

month = oct,

language = "English (US)",

volume = "74",

pages = "33--36",

editor = "M. Billaud and P. Casteran and M.-M. Corsini and K. Musumbu and A. Rauzy",

booktitle = "Actes JTASPEFL '91, Bordeaux, France. BIGRE",

publisher = "IRISA",

}

TY - GEN

T1 - Relational abstract interpretation of higher-order functional programs

AU - Cousot, Patrick

AU - Cousot, Radhia

PY - 1991/10

Y1 - 1991/10

M3 - Conference contribution

VL - 74

SP - 33

EP - 36

BT - Actes JTASPEFL '91, Bordeaux, France. BIGRE

A2 - Billaud, M.

A2 - Casteran, P.

A2 - Corsini, M.-M.

A2 - Musumbu, K.

A2 - Rauzy, A.

PB - IRISA

CY - Rennes, France

ER -