Edward A. Lee, Yuhong Xiong  Home/Search
Context Related
Links: ACM DBLP | berkeley.edu/publications...sysType.pdf 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 Problem Downloading? From: berkeley.edu/Respep...publication (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communication protocols between components. In our system, the interaction types and the dynamic behavior of components are defined using interface automata - an automata-based formalism. Type checking, which checks the compatibility of a component with a certain interaction type, is conducted through automata composition. Our type ... (Update)
Cited by: More
A Higher Level System Communication Model for.. - Svarstad.. (2001) (Correct)
Http://www.artist-Embedded.org/ - Artist Ist- Real-Time (2003) (Correct)
Heterogeneous Reactive Systems Modeling and.. - Benveniste.. (2003) (Correct)
Active bibliography (related documents): More All
0.4: Overview Of The Ptolemy Project - Hylands, al. (2003) (Correct)
0.2: Directions in Functional Programming for Real(-Time).. - Taha, Hudak, Wan (Correct)
0.2: A Tool for Simulation and Fast Prototyping of.. - Palopoli, Lipari, .. (2001) (Correct)
Similar documents based on text: More All
0.2: Taming Heterogeneity - the Ptolemy Approach - Eker, Janneck, Lee, Liu, Liu.. (2002) (Correct)
0.2: Ptolemy II: Heterogeneous Concurrent Modeling and.. - Davis, II, Goel.. (1999) (Correct)
0.2: Ptolemy II - Heterogeneous Concurrent Modeling and.. - Hylands, Lee, Liu.. (2003) (Correct)
Related documents from co-citation: More All
11: Communicating Sequential Processes (context) - Hoare - 1985
11: Statecharts: A visual formalism for complex systems - Harel - 1987
11: The semantics of a simple language for parallel programming (context) - Kahn - 1974
BibTeX entry: (Update)
E. A. Lee and Y. Xiong, " System-Level Types for Component-Based Design," Technical Memorandum UCB/ERL M00/8, Electronics Research Lab, University of California, Berkeley, CA 94720, USA, February 29, 2000. http://citeseer.ist.psu.edu/lee01systemlevel.html More
@article{ lee01systemlevel,
author = "Edward A. Lee and Yuhong Xiong",
title = "System-Level Types for Component-Based Design",
journal = "Lecture Notes in Computer Science",
volume = "2211",
pages = "237--??",
year = "2001",
url = "citeseer.ist.psu.edu/lee01systemlevel.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1978 ACM DBLP
509 Introduction to Lattices and Order (context) - Davey, Priestly - 1990
302 The Semantics of a Simple Language for Parallel Programming (context) - Kahn - 1974
293 Hierarchical Correctness Proofs for Distributed Algorithms - Lynch, Tuttle - 1981 ACM DBLP
210 Synchronous Data Flow (context) - Lee, Messerschmitt - 1987
110 Eliminating Array Bound Checking Through Dependent Types - Xi, Pfenning - 1998 ACM DBLP
107 Coroutines and Networks of Parallel Processes (context) - Kahn, MacQueen - 1977 DBLP
90 On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner - 1985 ACM DBLP
82 Coercion and Type Inference (context) - Mitchell - 1984 ACM DBLP
38 Interface Automata - de Alfaro, Henzinger - 2001 ACM DBLP
25 System-Level Types for Component-Based Design - Lee, Xiong - 2000 ACM DBLP
17 An Extensible Type System for Component-Based Design (context) - Xiong, Lee - 2000 ACM DBLP
4 Computing for Embedded Systems - Lee - 2001
1 Heterogeneous Concurrent Modeling andDesigninJava (context) - Hylands, Kienhuis et al. - 2001
1 Challenges in Type System Research (context) - Odersky - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-cad.eecs.berkeley.edu/Respep/Research/hsc/class/ee249/publication.html): More
Automatic Synthesis of Interfaces between Incompatible.. - Passerone, Rowson, Alberto (1997) (Correct)
Models of Computation for Embedded System Design - Lavagno.. (1998) (Correct)
Models and Methods for HW/SW Intellectual Property.. - Ortega, Lavagno, Borriello (1998) (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