DMCA
LUSTRE: A declarative language for programming synchronous systems (1987)
Cached
Download Links
- [delivery.acm.org]
- [plaice.web.cse.unsw.edu.au]
- [www.cse.unsw.edu.au]
- DBLP
Other Repositories/Bibliography
| Venue: | In 14th Symposium on Principles of Programming Languages (POPL’87). ACM |
| Citations: | 284 - 19 self |
BibTeX
@INPROCEEDINGS{Caspi87lustre:a,
author = {P. Caspi and D. Pilaud and N. Halbwachs and J. A. Plaice},
title = {LUSTRE: A declarative language for programming synchronous systems},
booktitle = {In 14th Symposium on Principles of Programming Languages (POPL’87). ACM},
year = {1987}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
LUSTRE is a synchronous data-flow language for programming syetema which interact. with their environments in real-time. After an informal presentation of the language, we describe its semantics by means of structural inference rules. Moreover, we ehow how to use this semantics in order to generate efficient, sequential code, namely, a finite state automaton which represents the control of the program. Formal rules for program transformation are also presented.
