System-level types for component-based design

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2211, Issue , 2001, Pages 237-253

  Lee, Edward A ^a   Xiong, Yuhong ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER PROGRAMMING LANGUAGES; ECONOMIC AND SOCIAL EFFECTS; EMBEDDED SOFTWARE; OBJECT ORIENTED PROGRAMMING;

AUTOMATA COMPOSITION; AUTOMATA-BASED FORMALISMS; COMPONENT BASED DESIGN; DYNAMIC INTERACTION; INTERFACE AUTOMATA; POLYMORPHIC COMPONENTS; STATIC TYPE CHECKING; SUBTYPING RELATION;

INTERFACE STATES;

EID: 84947233332     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45449-7_16     Document Type: Conference Paper

References (15)

1. L. Cardelli and P. Wegner, “On Understanding Types, Data Abstraction, and Polymorphism,” ACM Computing Surveys, Vol.17, No.4, Dec. 1985.
2. B. A. Davey and H. A. Priestly, Introduction to Lattices and Order, Cambridge University Press, 1990.
3. J. Davis II, C. Hylands, B. Kienhuis, E.A. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendorffer, J. Tsay, B. Vogel, and Y. Xiong, “Heterogeneous Concurrent Modeling and Design in Java,” Technical Memorandum UCB/ERL M01/12, EECS, University of California, Berkeley, March 15, 2001. (http://ptolemy.eecs.berkeley.edu/publications/papers/01/HMAD/)
4. L. de Alfaro and T. A. Henzinger, “Interface Automata,” to appear in Proc. of the Joint 8th European Software Engineering Conference and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE 01), Austria, 2001.
5. C. A. R. Hoare, “Communicating Sequential Processes,” Communications of the ACM, 28(8), August 1978.
6. G. Kahn, “The Semantics of a Simple Language for Parallel Programming,” Proc. of the IFIP Congress 74, North-Holland Publishing Co., 1974.
7. G. Kahn and D. B. MacQueen, “Coroutines and Networks of Parallel Processes,” Information Processing 77, B. Gilchrist, editor, North-Holland Publishing Co., 1977.
8. E. A. Lee, “Computing for Embedded Systems,” IEEE Instrumentation and Measurement Technology Conference, Budapest, Hungary, May 21-23, 2001.
9. E. A. Lee and D. G. Messerschmitt, “Synchronous Data Flow,” Proc. of the IEEE, Sept., 1987.
10. E. A. Lee and Yuhong Xiong, “System-Level Types for Component-Based Design,” Technical Memorandum UCB/ERL M00/8, EECS, University of California, Berkeley, Feb. 29, 2000. (http://ptolemy.eecs.berkeley.edu/publications/papers/00/systemLevel/)
11. N. Lynch and M. Tuttle, “Hierarchical Correctness Proofs for Distributed Algorithms,” Proc. 6th ACM Symp. Principles of Distributed Computing, pp 137-151, 1981.
12. J. C. Mitchell, “Coercion and Type Inference,” 11th Annual ACM Symposium on Principles of Programming Languages, 175-185, 1984.
13. M. Odersky, “Challenges in Type System Research,” ACM Computing Surveys, 28(4), 1996.
14. H. Xi and F. Pfenning, “Eliminating Array Bound Checking Through Dependent Types,” Proc. of ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI ‘98), pp. 249-257, Montreal, June, 1998.
15. Y. Xiong and E. A. Lee, “An Extensible Type System for Component-Based Design,” 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Berlin, Germany, March/April 2000. LNCS 1785.