Grégoire Hamon  Home/Search
Context
Related
| spi.lip6.fr/lucid...amonslap04.pdf.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: spi.lip6.fr/lucidsynchrone/pa... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We introduce variant types and a pattern matching operation to synchronous dataflow languages. These languages are used in the design of reactive systems. As these systems grow increasingly complex, the need for abstraction mechanisms, in particular, data and control structures, is critical. Variant types provide a mechanism to precisely model structured data. The pattern matching operation, defined as a clock operator, provides an e#cient control structure. (Update)
Active bibliography (related documents): More All
0.5: Basic Pattern Matching Calculi: Syntax, Reduction, Confluence, and .. - Kahl (2003) (Correct)
0.3: Synchronous Programming of Reactive Systems - A Tutorial and.. - Halbwachs (1998) (Correct)
0.3: Running Modes in a Dataflow Language: Mode-Automata and.. - Maraninchi, Rémond.. (1998) (Correct)
Similar documents based on text: More All
0.2: Modular Resetting of Synchronous Data-Flow Programs - Hamon, Pouzet (2000) (Correct)
0.1: LPV-Based Gain Scheduling - An H∞-LMI Approach - Bruzelius (2002) (Correct)
0.1: On Signal Separation by Second Order Statistics - Sahlin (1997) (Correct)
BibTeX entry: (Update)
@misc{ hamon-synchronous,
author = "Grégoire Hamon",
title = "Synchronous Dataflow Pattern Matching",
url = "citeseer.ist.psu.edu/hamon04synchronous.html" }
Citations (may not include all citations):270 Synchronous programming of reactive systems (context) - Halbwachs - 1993
235 The synchronous dataflow programming language lustre - Halbwachs, Caspi et al. - 1991
194 the development of reactive systems (context) - Harel, Pnueli - 1985
57 The Argos Language: Graphical Representation of Automata and.. - Maraninchi - 1991
56 Documentation and user's manual (context) - Leroy - 2003
25 Hierarchical finite state machines with multiple concurrency.. - Girault, Lee et al. - 1999
25 Synchronous kahn networks - Caspi, Pouzet - 1996
19 The Synchronous Approach to Designing Reactive Systems - Poigne, Morley et al. - 1998
15 Mode-automata: About modes and states for reactive systems - Maraninchi, Remond - 1998
12 Implementation of the Dataflow Synchronous Language Signal (context) - Amagbegnon, Besnard et al. - 1995
4 A functional extension to Lustre - Caspi, Pouzet - 1995
4 Clocks as first class abstract types (context) - Colaco, Pouzet - 2003
4 Saga: a software development environment for dependability i.. (context) - Bergerand, Pilaud - 1988
2 Optimizing pattern-matching - Le Fessant, Maranget - 2001
1 Personal communication (context) - Colaco
1 Calcul d'horloge et structures de controle dans Lucid Synchr.. (context) - Hamon - 2002
1 Modular resetting of synchronous data-flow programs - Hamon, Pouzet - 2000
Documents on the same site (http://www-spi.lip6.fr/lucid-synchrone/papers/): More
Certifying Synchrony for Free - Boulmé, Hamon (2001) (Correct)
Type-based Initialization Analysis of a Synchronous Data-flow .. - Colaço, Pouzet (2002) (Correct)
Towards a Higher-Order Synchronous Data-Flow Language - Colaco, Girault, Hamon, Pouzet (2004) (Correct)
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