Journal Title
Title of Journal: Int J Softw Tools Technol Transfer
|
Abbravation: International Journal on Software Tools for Technology Transfer
|
Publisher
Springer Berlin Heidelberg
|
|
|
|
|
|
Authors: JeanLouis Colaço Marc Pouzet
Publish Date: 2004/11/03
Volume: 6, Issue: 3, Pages: 245-255
Abstract
One of the appreciated features of the synchronous dataflow approach is that a program defines a perfectly deterministic behavior But the use of the delay primitive leads to undefined values at the first cycle thus a dataflow program is really deterministic only if it can be shown that such undefined values do not affect the behavior of the systemThis paper presents an initialization analysis that guarantees the deterministic behavior of programs This property being undecidable in general the paper proposes a safe approximation of the property precise enough for most dataflow programs This analysis is a onebit analysis – expressions are either initialized or uninitialized – and is defined as an inferencetype system with subtyping constraints This analysis has been implemented in the Lucid Synchrone compiler and in a new ScadeLustre prototype compiler at Esterel Technologies The analysis gives very good results in practice
Keywords:
.
|
Other Papers In This Journal:
|