A code generation framework for actor-oriented models with partial evaluation

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

Volumn 4523 LNCS, Issue , 2007, Pages 193-206

  Zhou, Gang ^a   Leung, Man Kit ^a   Lee, Edward A ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; EMBEDDED SYSTEMS; OPTIMIZATION; PROBLEM SOLVING; SOFTWARE DESIGN;

ACTOR-ORIENTED MODELS; CONCURRENT COMPONENTS; EMBEDDED SOFTWARES;

AUTOMATIC PROGRAMMING;

EID: 38749122525     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72685-2_19     Document Type: Conference Paper

References (15)

1. E. A. Lee. The Problem with Threads. IEEE Computer, 39(5):33-42, May 2006.
2. http://www.microsoft.com/whdc/driver/wdf/WDF.facts.mspx
3. W. Thies, M. Karczmarek, and S. Amarasinghe. Streamlt: A Language for Streaming Applications. In Proceedings of the 2002 International Conference on Compiler Construction, 2002 Springer-Verlag LNCS, Grenoble, France, April, 2002.
4. http://www.mathworks.com/products/simulink/
5. N. D. Jones, C. K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, June 1993.
6. E. Kohler, R. Morris, and B. Chen. Programming language optimizations for modular router configurations. In Proceedings of the Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 251-263, October 2002.
7. C. K. Gomard and N. D. Jones. A partial evaluator for the untyped lambda--calculus. Journal of Functional Programming, vol.1, no.1, Jan. 1991, pp. 21-69.
8. J. W. Lloyd and J. C. Shepherdson. Partial evaluation in logic programming. Journal of Logic Programming, vol.11, no.3-4, Oct.-Nov. 1991, pp. 217-42.
9. L. O. Andersen. Partial evaluation of C and automatic compiler generation. In 4th International Conference CC'92 Proceedings. Springer-Verlag. 1992, pp. 251-7.
10. U. Schultz. Partial evaluation for class-based object-oriented languages. In Proceedings of Symposium on Programs as Data Objects (PADO), number 2053 in Lecture Notes in Computer Science. Springer-Verlag, May 2001.
11. R. V. Ommerling. The Koala component model for consumer electronics software. IEEE Computer, 33(3):7885, March 2000.
12. J. Tsay. A Code Generation Framework for Ptolemy II. ERL Technical Memorandum UCB/ERL No. M00/25, Dept. EECS, University of California, Berkeley, CA 94720, May 19, 2000.
13. J. L. Pino, S. Ha, E. A. Lee, and J. T. Buck. Software Synthesis for DSP Using Ptolemy. Journal on VLSI Signal Processing, vol. 9, no. 1, pp. 7-21, Jan., 1995.
14. A. Girault, B. Lee, and E. A. Lee. Hierarchical Finite State Machines with Multiple Concurrency Models. IEEE Transactions On Computer-aided Design Of Integrated Circuits And Systems, Vol. 18, No. 6, June 1999.
15. E. A. Lee and D. G. Messerschmitt. Synchronous Data Flow. Proc. of the IEEE, September, 1987.