.png){kind=icon}
Return
THE SYNCHRONOUS DATA FLOW PROGRAMMING LANGUAGE LUSTER
.png){kind=icon}
PRE
AI
DOI：10.1109/5.97300.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
This paper describes the language LUSTRE which is a data flow synchronous language, designed for programming reactive systems-such as automatic control and monitoring systems-as well as for describing hardware. The data flow aspect of LUSTRE makes it very close to usual description tools in these domains (block-diagrams, networks of operators, dynamical sample-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.
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
25.9
Papers:
9.9K
Citations:
4.5W
Organization
No organization information available
Cited Papers
ShareSaveShareSaveLags in adjustment of vegetation to climate caused by the pace of soil development. Evidence from Britain.png)
Vegetatio
VegetatioIF0
PREAI
ShareSave
ShareSaveShareSave no more
no more