Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs

Michael Codish; Moreno Falaschi; Kim Marriott; William H. Winsborough

Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs

Michael Codish
, Moreno Falaschi
, Kim Marriott
, William H. Winsborough

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

Original language	English
Title of host publication	Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings
Editors	Michel Billaud, Pierre Castéran, Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy
Publisher	Atelier Irisa, IRISA, Campus de Beaulieu
Pages	35-42
Number of pages	8
Volume	81-82
State	Published - 1992

Publication series

Name	Series Bigre
Publisher	Atelier Irisa, IRISA, Campus de Beaulieu

Cite this

Codish, M., Falaschi, M., Marriott, K., & Winsborough, W. H. (1992). Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs. In M. Billaud, P. Castéran, M.-M. Corsini, K. Musumbu, & A. Rauzy (Eds.), Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings (Vol. 81-82, pp. 35-42). (Series Bigre). Atelier Irisa, IRISA, Campus de Beaulieu.

Codish, Michael ; Falaschi, Moreno ; Marriott, Kim et al. / Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs. Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings. editor / Michel Billaud ; Pierre Castéran ; Marc-Michel Corsini ; Kaninda Musumbu ; Antoine Rauzy. Vol. 81-82 Atelier Irisa, IRISA, Campus de Beaulieu, 1992. pp. 35-42 (Series Bigre).

@inproceedings{7344b1dbf1d74da5b8d797305fb9378a,

title = "Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs",

author = "Michael Codish and Moreno Falaschi and Kim Marriott and Winsborough, \{William H.\}",

year = "1992",

language = "English",

volume = "81-82",

series = "Series Bigre",

publisher = "Atelier Irisa, IRISA, Campus de Beaulieu",

pages = "35--42",

editor = "Michel Billaud and Pierre Cast{\'e}ran and Marc-Michel Corsini and Kaninda Musumbu and Antoine Rauzy",

booktitle = "Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings",

}

Codish, M, Falaschi, M, Marriott, K & Winsborough, WH 1992, Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs. in M Billaud, P Castéran, M-M Corsini, K Musumbu & A Rauzy (eds), Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings. vol. 81-82, Series Bigre, Atelier Irisa, IRISA, Campus de Beaulieu, pp. 35-42.

Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs. / Codish, Michael; Falaschi, Moreno; Marriott, Kim et al.
Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings. ed. / Michel Billaud; Pierre Castéran; Marc-Michel Corsini; Kaninda Musumbu; Antoine Rauzy. Vol. 81-82 Atelier Irisa, IRISA, Campus de Beaulieu, 1992. p. 35-42 (Series Bigre).

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

TY - GEN

T1 - Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs

AU - Codish, Michael

AU - Falaschi, Moreno

AU - Marriott, Kim

AU - Winsborough, William H.

PY - 1992

Y1 - 1992

M3 - Conference contribution

VL - 81-82

T3 - Series Bigre

SP - 35

EP - 42

BT - Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings

A2 - Billaud, Michel

A2 - Castéran, Pierre

A2 - Corsini, Marc-Michel

A2 - Musumbu, Kaninda

A2 - Rauzy, Antoine

PB - Atelier Irisa, IRISA, Campus de Beaulieu

ER -

Codish M, Falaschi M, Marriott K, Winsborough WH. Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs. In Billaud M, Castéran P, Corsini MM, Musumbu K, Rauzy A, editors, Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings. Vol. 81-82. Atelier Irisa, IRISA, Campus de Beaulieu. 1992. p. 35-42. (Series Bigre).