Color-blind Specifications for Transformations of Reactive Synchronous Programs

Kim Guldstrand Larsen; Ulrik Larsen; Andrzej Wasowski

doi:10.1007/b107062

Color-blind Specifications for Transformations of Reactive Synchronous Programs

Kim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski

Department of Computer Science

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

4 Citations (Scopus)

408 Downloads (Pure)

Original language	English
Title of host publication	Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Editors	Maura Cerioli
Publisher	IEEE Computer Society Press
Publication date	2005
ISBN (Electronic)	354025420X
DOIs	https://doi.org/10.1007/b107062
Publication status	Published - 2005
Event	8th International Conference, FASE 2005 - Edinburgh Duration: 4 Apr 2005 → 8 Apr 2005

Conference

Conference	8th International Conference, FASE 2005
City	Edinburgh
Period	04/04/2005 → 08/04/2005

Series	Lecture Notes in Computer Science
Number	3442

Keywords

embedded systems
code generation
context-dependency

Access to Document

10.1007/b107062

FASE2005withappendixFinal published version, 311 KB

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Larsen, K. G., Larsen, U., & Wasowski, A. (2005). Color-blind Specifications for Transformations of Reactive Synchronous Programs. In M. Cerioli (Ed.), Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings IEEE Computer Society Press. https://doi.org/10.1007/b107062

Larsen, Kim Guldstrand ; Larsen, Ulrik ; Wasowski, Andrzej. / Color-blind Specifications for Transformations of Reactive Synchronous Programs. Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. editor / Maura Cerioli. IEEE Computer Society Press, 2005. (Lecture Notes in Computer Science; No. 3442).

@inproceedings{22d22e309c2e11db8ed6000ea68e967b,

title = "Color-blind Specifications for Transformations of Reactive Synchronous Programs",

keywords = "embedded systems, code generation, context-dependency",

author = "Larsen, {Kim Guldstrand} and Ulrik Larsen and Andrzej Wasowski",

year = "2005",

doi = "10.1007/b107062",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "IEEE Computer Society Press",

number = "3442",

editor = "Maura Cerioli",

booktitle = "Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings",

address = "United States",

note = "8th International Conference, FASE 2005 ; Conference date: 04-04-2005 Through 08-04-2005",

}

Larsen, KG , Larsen, U & Wasowski, A 2005, Color-blind Specifications for Transformations of Reactive Synchronous Programs. in M Cerioli (ed.), Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. IEEE Computer Society Press, Lecture Notes in Computer Science, no. 3442, 8th International Conference, FASE 2005, Edinburgh, 04/04/2005. https://doi.org/10.1007/b107062

Color-blind Specifications for Transformations of Reactive Synchronous Programs. / Larsen, Kim Guldstrand ; Larsen, Ulrik; Wasowski, Andrzej.
Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. ed. / Maura Cerioli. IEEE Computer Society Press, 2005. (Lecture Notes in Computer Science; No. 3442).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Color-blind Specifications for Transformations of Reactive Synchronous Programs

AU - Larsen, Kim Guldstrand

AU - Larsen, Ulrik

AU - Wasowski, Andrzej

PY - 2005

Y1 - 2005

KW - embedded systems

KW - code generation

KW - context-dependency

U2 - 10.1007/b107062

DO - 10.1007/b107062

M3 - Article in proceeding

T3 - Lecture Notes in Computer Science

BT - Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

A2 - Cerioli, Maura

PB - IEEE Computer Society Press

T2 - 8th International Conference, FASE 2005

Y2 - 4 April 2005 through 8 April 2005

ER -

Larsen KG , Larsen U, Wasowski A. Color-blind Specifications for Transformations of Reactive Synchronous Programs. In Cerioli M, editor, Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. IEEE Computer Society Press. 2005. (Lecture Notes in Computer Science; No. 3442). doi: 10.1007/b107062