Dissertation/Thesis
The synchronous dataflow programming language LUSTRE
| Τίτλος: | The synchronous dataflow programming language LUSTRE |
|---|---|
| Συγγραφείς: | N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud |
| Συνεισφορές: | The Pennsylvania State University CiteSeerX Archives |
| Πηγή: | http://www-verimag.imag.fr/~raymond/publis/lustre.ieee.ps.gz. |
| Έτος έκδοσης: | 1991 |
| Συλλογή: | CiteSeerX |
| Περιγραφή: | This paper describes the language Lustre, which is a dataflow synchronous language, designed for programming reactive systems --- such as automatic control and monitoring systems --- as well as for describing hardware. The dataflow aspect of Lustre makes it very close to usual description tools in these domains (block-diagrams, networks of operators, dynamical samples-systems, etc: : : ), and its synchronous interpretation makes it well suited for handling time in programs. Moreover, this synchronous interpretation allows it to be compiled into an efficient sequential program. Finally, the Lustre formalism is very similar to temporal logics. This allows the language to be used for both writing programs and expressing program properties, which results in an original program verification methodology. 1 Introduction Reactive systems Reactive systems have been defined as computing systems which continuously interact with a given physical environment, when this environment is unable to sy. |
| Τύπος εγγράφου: | Thesis |
| Περιγραφή αρχείου: | application/postscript |
| Γλώσσα: | English |
| Relation: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.5059 |
| Διαθεσιμότητα: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.5059 http://www-verimag.imag.fr/~raymond/publis/lustre.ieee.ps.gz |
| Rights: | Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Αριθμός Καταχώρησης: | edsbas.B78337A8 |
| Βάση Δεδομένων: | BASE |
| Η περιγραφή δεν είναι διαθέσιμη |