Relational abstract interpretation of higher-order functional programs

Patrick Cousot, Radhia Cousot

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationActes JTASPEFL '91, Bordeaux, France. BIGRE
EditorsM. Billaud, P. Casteran, M.-M. Corsini, K. Musumbu, A. Rauzy
Place of PublicationRennes, France
PublisherIRISA
Pages33-36
Volume74
StatePublished - Oct 1991

Cite this

Cousot, P., & Cousot, R. (1991). Relational abstract interpretation of higher-order functional programs. In M. Billaud, P. Casteran, M-M. Corsini, K. Musumbu, & A. Rauzy (Eds.), Actes JTASPEFL '91, Bordeaux, France. BIGRE (Vol. 74, pp. 33-36). Rennes, France: IRISA.

Relational abstract interpretation of higher-order functional programs. / Cousot, Patrick; Cousot, Radhia.

Actes JTASPEFL '91, Bordeaux, France. BIGRE. ed. / M. Billaud; P. Casteran; M.-M. Corsini; K. Musumbu; A. Rauzy. Vol. 74 Rennes, France : IRISA, 1991. p. 33-36.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cousot, P & Cousot, R 1991, Relational abstract interpretation of higher-order functional programs. in M Billaud, P Casteran, M-M Corsini, K Musumbu & A Rauzy (eds), Actes JTASPEFL '91, Bordeaux, France. BIGRE. vol. 74, IRISA, Rennes, France, pp. 33-36.
Cousot P, Cousot R. Relational abstract interpretation of higher-order functional programs. In Billaud M, Casteran P, Corsini M-M, Musumbu K, Rauzy A, editors, Actes JTASPEFL '91, Bordeaux, France. BIGRE. Vol. 74. Rennes, France: IRISA. 1991. p. 33-36
Cousot, Patrick ; Cousot, Radhia. / Relational abstract interpretation of higher-order functional programs. Actes JTASPEFL '91, Bordeaux, France. BIGRE. editor / M. Billaud ; P. Casteran ; M.-M. Corsini ; K. Musumbu ; A. Rauzy. Vol. 74 Rennes, France : IRISA, 1991. pp. 33-36
@inproceedings{f507c906803c4402b5ac6d263e1c5b6a,
title = "Relational abstract interpretation of higher-order functional programs",
author = "Patrick Cousot and Radhia Cousot",
year = "1991",
month = "10",
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 -