T. Gautier, P. Le Guernic, and L. Besnard. Signal: A declarative language for synchronous programming of real-time systems. In G. Kahn, editor, Functional Programming Languages and Computer Architecture, volume 274 of Lect Notes in Computer Science, pages 257--277. Springer-Verlag, 1987.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....The paper is focused on real time ex ecution and provides analysis and verification of latency of data flow through their system. A large number of programming languages have included a concept of a stream; see [22] for a survey. Synchronous languages such as LUSTRE [12] Esterel [2] and Signal [8] also target the embedded domain, but they are more control oriented than StreamIt and are less amenable to static schedul ing. Sisal (Stream and Iteration in a Single Assignment Language) is a high performance, implicitly parallel functional language [14] The Distributed Optimizing Sisal ....

Thierry Gautier, Paul Le Guernic, and Loic Besnard. Signal: A declarative language for synchronous programming of real-time systems. Springer Verlag Lecture Notes in Computer Science, 274:257 277, 1987.

....dataflow design environments; leading products include COSSAP from Synopsys, SPW from Cadence, ADS from Hewlett Packard, and DSP Station from Mentor Graphics. Academic projects include prototyping environments such as Ptolemy [17] and Grape II [16] as well as languages such as Lustre [13] Signal [10], and StreamIt [11] # This document is MIT Laboratory for Computer Science Technical Memo LCS TM , August 2002. Our latest work on this subject will be available from http: cag.lcs.mit.edu streamit Optimization is especially important for signal processing applications, as embedded ....

T. Gautier, P. L. Guernic, and L. Besnard. Signal: A declarative language for synchronous programming of real-time systems. Springer Verlag Lecture Notes in Computer Science, 274:257--277, 1987.

....data ow design environments; leading products include COSSAP from Synopsys, SPW from Cadence, ADS from Hewlett Packard, and DSP Station from Mentor Graphics. Academic projects include prototyping environments such as Ptolemy [17] and Grape II [16] as well as languages such as Lustre [13] Signal [10], and StreamIt [11] This document is Version 1 of MIT Laboratory for Computer Science Technical Memo LCS TM 630, August 2002. Our latest work on this subject will be available from http: compiler.lcs.mit.edu streamit Optimization is especially important for signal processing applications, as ....

T. Gautier, P. L. Guernic, and L. Besnard. Signal: A declarative language for synchronous programming of real-time systems. Springer Verlag Lecture Notes in Computer Science, 274:257-277, 1987.

....and so mixes the functional and imperative approaches. There are also several languages designed around a synchronous data flow notion of computation. The generalpurpose functional language Lucid [21] is an example of this style of language, but more importantly are the languages Signal [11] and Lustre [4] which were specifically designed for control of real time systems. In Signal, the most fundamental idea is that of a signal, a time ordered sequence of values. Unlike Fran, however, time is not a value, but rather is implicit in the ordering of values in a signal. By its very ....

Thierry Gautier, Paul Le Guernic, and Loic Besnard. Signal: A declarative language for synchronous programming of real-time systems. In Gilles Kahn, editor, Functional Programming Languages and Computer Architecture, volume 274 of Lect Notes in Computer Science, edited by G. Goos and J. Hartmanis, pages 257--277. Springer-Verlag, 1987.

....continuous time yields what we consider a more declarative feel. Several languages have been proposed around the synchronous data ow notion of computation. The general purpose functional language Lucid [16] is an example of this style of language, but more importantly are the languages Signal [8], Lustre [4] and Esterel [2, 3] which were speci cally designed for control of real time systems. In Signal, the most fundamental idea is that of a signal, a time ordered sequence of values. Unlike FRP, however, time is not a value, but rather is implicit in the ordering of values in a signal. By ....

Thierry Gautier, Paul Le Guernic, and Loic Besnard. Signal: A declarative language for synchronous programming of real-time systems. In Gilles Kahn, editor, Functional Programming Languages and Computer Architecture, volume 274 of Lect Notes in Computer Science, edited by G. Goos and J. Hartmanis, pages 257-277. Springer-Verlag, 1987.

....useful feature, and extending FRP with such functionality would be interesting future work. Several languages have been proposed around the synchronous data ow notion of computation, including Signal, Lustre, and Esterel, which were speci cally designed for control of real time systems. Signal [8] is a blockdiagram oriented language, where the central concept is a signal, a time ordered sequence of values. This is analogous to the sequence of values generated in the execution of an E FRP program. Lustre [3] is a functional synchronous data ow language, rooted again in the notion of a ....

Thierry Gautier, Paul Le Guernic, and Loic Besnard. Signal: A declarative language for synchronous programming of real-time systems. In Gilles Kahn, editor, Functional Programming Languages and Computer Architecture, volume 274 of Lect Notes in Computer Science, edited by G. Goos and J. Hartmanis, pages 257-277. Springer-Verlag, 1987.

....m And we are done. 5. DISCUSSION AND RELATED WORK Several languages have been proposed around the synchronous data ow notion of computation. The generalpurpose functional language Lucid [38] is an example of this style of language. More relevant to the present paper are the languages Signal [10], Lustre [3] and Esterel [1, 2] which were speci cally designed for control of real time systems. In Signal, the central notion a signal, a time ordered sequence of values. This is analogous to the sequence of values generated in the execution of an RT FRP program. The designers of Signal have ....

Thierry Gautier, Paul Le Guernic, and Loic Besnard. Signal: A declarative language for synchronous programming of real-time systems. In Gilles Kahn, editor, Functional Programming Languages and Computer Architecture, volume 274 of Lect Notes in Computer Science, edited by G. Goos and J. Hartmanis, pages 257-277. Springer-Verlag, 1987.

....in such languages, the behaviour and timing of control software became extremely hard to predict. In reaction to this unsatisfactory situation, a number of so called synchronous languages were developed in the 1980 s, the most prominent among which being Esterel [16, 14] Lustre [57, 20] Signal [38], Statecharts [62] and Argos [91] The design of synchronous languages rests on the idealisation, called the synchrony hypothesis [10, 89] that each reaction of the system is instantaneous. Any reference to real time within synchronous programs may then be eliminated, resulting in the ....

....developed will determine characteristically: 1. The kind of models that programs in the language denote (i.e. the semantics) and 2. The kind of representations that programs admit (i.e. the form(s) in which programs are presented to the user) For instance, signal processing programs in Signal [38] have an intuitive interpretation as digital, synchronous circuits. On the other hand the same language 29 admits, in addition to textual syntax, a graphical representation of programs resembling the block diagrams used by the signal processing community. Our view is that application domains can ....

Thierry Gautier and Paul Le Guernic. SIGNAL: A declarative language for synchronous programming of real-time systems. In Gilles Kahn, editor, Functional Programming Languages and Computer Architecture, volume 274 of Lecture Notes in Computer Science, pages 257--277. Springer-Verlag, 1987.

.... and avoiding combinatorial explosion in the number of states by independently specifying orthogonal components (crossproduct operands) The semantics of statecharts has been studied in [13, 17] Other visual formalisms similar to statecharts are AFSM[9] and ARGOS[15] Esterel[1] Lustre[2] Signal[11], Lotos[10] and Estelle[8] are programming languages for formal description of reactive systems; however, all of them are text based. Moreover, users have to learn the syntax and semantics of the languages and write the programs themselves. This causes trouble for non technical users and makes ....

Gauthier, T., P. Le Guernic, and L. Besnard, "Signal, a declarative language for synchronous programming of real-time systems," Proceedings of the 3rd Conference on Functional Programming Languages and Computer Architecture, LNCS 274, Springer Verlag, 1987.

....(see [91] on the subject of reactive systems. Reactive systems, together with signal processing networks and synchronous dataflow networks that can be considered as special cases of reactive systems have been the stimulation for a large body of stream processing research (see for example [84], 53] and [25] During the 1980s streams and STs have also been used extensively for hardware description, for example, 192] 193] 194] 65] 66] 95] 177] and [92] We note that the work of M Sheeran on Ruby, as discussed in [192] 193] and [194] above, includes a generalization of ....

....ID (see [9] is an un typed, functional, block structured language that supports non determinism and the use of streams. A programme in ID consists of a list of expressions wherein each expression is either a loop , a conditional , a block or a procedure application . 9. 7 SIGNAL SIGNAL (see [84]) is an applicative language designed to programme real time systems using synchronous dataflow. The authors claim that a SIGNAL representation is very close to the specification of a system, either mathematical or graphical, and leads to an elegant formal 9 STREAM PROCESSING LANGUAGES 27 ....

T Guatier, P Le Guernia, and L Besnard. Signal: A Declarative Language For Synchronous Programming Of Real-Time Systems. Technical report, IRISA/INRIA, Campus de Beaulieu, 35042 Rennes C'edex, FRANCE, 1987.

....(see [73] on the subject of reactive systems. Reactive systems, together with signal processing networks and synchronous dataflow networks that can be considered as special cases of reactive systems have been the stimulation for a large body of stream processing research (see for example [68], 46] and [21] During the 1980s streams and STs have also been used extensively for hardware description (see for example, 139] 140] 90] 91] 75] and [74] also see [146] 3.4 The 1990s As with the 1980s semantic models for dataflow are still being developed, for example, 88] ....

....ID (see [8] is an un typed, functional, block structured language that supports non determinism and the use of streams. A programme in ID consists of a list of expressions wherein each expression is either a loop , a conditional , a block or a procedure application . 9. 7 SIGNAL SIGNAL (see [68]) is an applicative language designed to programme real time systems using synchronous dataflow. The authors claim that a SIGNAL representation is very close to the specification of a system, either mathematical or graphical, and leads to an elegant formal synchronization calculus . SIGNAL uses ....

T Guatier, P Le Guernia, and L Besnard. Signal: A Declarative Language For Synchronous Programming Of Real-Time Systems. Technical report, IRISA/INRIA, Campus de Beaulieu, 35042 Rennes C'edex, FRANCE, 1987.

....languages, and so mixes the functional and imperative approaches. There are also several languages designed around a synchronous data flow notion of computation. The generalpurpose functional language Lucid [21] is an example of this style of language, but more importantly are the languages Signal [11] and Lustre [4] which were specifically designed for control of real time systems. In Signal, the most fundamental idea is that of a signal, a time ordered sequence of values. Unlike Fran, however, time is not a value, but rather is implicit in the ordering of values in a signal. By its very ....

Thierry Gautier, Paul Le Guernic, and Loic Besnard. Signal: A declarative language for synchronous programming of real-time systems. In Gilles Kahn, editor, Functional Programming Languages and Computer Architecture, volume 274 of Lect Notes in Computer Science, edited by G. Goos and J. Hartmanis, pages 257--277. Springer-Verlag, 1987.

....des actions de mise a jour des bases de donn ees S( Omega Gamma ou p( Strat egie perceptive d un environnement statique dans un contexte de vision active 27 4.2 Le langage Signal et les intervalles de temps 4.2. 1 Une br eve introduction a Signal Le langage Signal, d evelopp e a l IRISA [25] [26] est un langage synchrone de type flot de donn ees et de style d eclaratif. Il est construit autour d un noyau restreint d op erateurs de base. Ceux ci manipulent des signaux, qui sont des suites non born ees de valeurs typ ees, dont une horloge associ ee d etermine les instants auxquels la ....

LE GUERNIC P. ,GAUTIER T. ,BESNARD L. . Signal : a declarative language for synchronous programming of real-time systems. In Gilles Kahn, editor, Functional programming languages and computer architecture, pages 257--277, Lecture Notes in Computer Science, 274, Springer-Verlag, 1987.

.... Stochastic Control At least five different classes of models have been proposed for modeling nonsequential systems: 1) a quantum mechanical model [9] 2) discrete event models (e.g. 16] 17] 22] 23] 30] 31] 3) a game theoretic model [25] 32] 4) a hybrid dynamical model [10] [20]; and (5) an intrinsic model [34] 36] These models provide a statistical, logical, informational, logical temporal, and informational characterization of nonsequentiality, respectively. Witsenhausen s intrinsic model for stochastic control, 34] 36] provides the framework for the results ....

T. Gautier, P. LeGuernic and L. Besnard (1987). SIGNAL: a declarative language for synchronous programming of real-time systems, in Functional Programming Languages and Computer Architecture, G. Kahn, ed. L.N. in Comp. Sci., 274 Springer-Verlag, 257---277.

....C will follow the rhythm of the input and the data arriving will be numbered correctly. Once a set of constraints has been obtained we are left with the problem of solving it or at least finding out whether it admits a solution. We shall not enter into the details of how this is done (see [LB86] [GLB87] or [BLL92] but just mention that the Signal system employs an ingenious method for solving sets of constraints based on solving a set of equations over the finite field F3 = Z=Z3 . The three elements in F3 encodes the properties absent , present and have value true and present and have value ....

T. Gautier, P. Le Guernic, and L. Besnard. Signal : A declarative language for synchronous programming of real-time systems. In G. Kahn, editor, Proc. of 3. ACM Conf. on Functional Programming and Computer Architecture, pages 257--277. Springer LNCS vol. 274, 1987.

....indications sur la mise en oeuvre sont ensuite donn ees. Enfin, en derni ere partie, est donn e un r ecapitulatif de toutes les commandes possibles de l editeur graphique. 4 Patricia Bournai, Paul Le Guernic 2 Le langage SIGNAL SIGNAL est un langage temps r eel orient e flots de donn ees [8]. Nous en donnons ici une description sommaire (voir [2] pour une sp ecification compl ete) Pour ecrire un algorithme en SIGNAL, le programmeur utilise deux cat egories d objets : les signaux et les processus. ffl Les signaux Les objets de base du langage SIGNAL sont les signaux assimilables ....

Thierry Gautier, Paul Le Guernic, and Loic Besnard. Signal: a declarative language for synchronous programming of real-time systems. In Gilles Kahn, editor, Functional REFERENCES 41 programming languages and computer architecture, pages 257--277, Lecture Notes in Computer Science, 274, Springer-Verlag, 1987.

No context found.

T. Gautier, P. Le Guernic, and L. Besnard. Signal: A declarative language for synchronous programming of real-time systems. In G. Kahn, editor, Functional Programming Languages and Computer Architecture, volume 274 of Lect Notes in Computer Science, pages 257--277. Springer-Verlag, 1987.

No context found.

T. Gautier, P. Le Guernic, and L. Besnard. Signal: A declarative language for synchronous programming of real-time systems. In G. Goos and J. Hartmanis, editors, Functional Programming Languages and Computer Architecture, pages 257--277. Springer-Verlag, 1987. LNCS 274.

No context found.

T. Gautier, P. Le Guernic, and L. Besnard. Signal : A declarative language for synchronous programming of real-time systems. In G. Kahn, editor, Proc. of 3. ACM Conf. on Functional Programming and Computer Architecture, pages 257-- 277. Springer LNCS vol. 274, 1987.

No context found.

T. Gautier, P. L. Guernic, and L. Besnard. Signal: A declarative language for synchronous programming of real-time systems. Springer Verlag Lecture Notes in Computer Science, 274, 1987.

No context found.

T. Gautier, P. LeGuernic, SIGNAL: a declarative language for synchronous programming of real-time systems, Proc. Func. Prog. Langs. & Comp. Arch., Portland, 9/87.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC