Protocol Specialization

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

Volumn 3302, Issue , 2004, Pages 246-261

  Neubauer, Matthias ^a   Thiemann, Peter ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS;

COMPONENT CONNECTORS; COMPONENT-BASED PROGRAMMING; CONFIGURATION PARAMETERS; FRAMEWORK MODELS; INTERMEDIATE LANGUAGES; OUTPUT INTERFACE; PREFABRICATED COMPONENTS; PROGRAM SPECIALIZATION;

CODES (SYMBOLS);

EID: 28844495239     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30477-7_17     Document Type: Article

References (27)

1. Gustavo Bobeff and Jacques Noyé. Molding components using program specialization techniques. In WCOP 2003, Eighth International Workshop on Component-Oriented Programming, Darmstadt, Germany, July 2003.
2. Charles Consel. Program adaptation based on program transformation. ACM Computing Surveys, 28(4es):164, 1996.
3. Charles Consel, editor. Proceedings of the 1997 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Amsterdam, The Netherlands, June 1997. ACM Press.
4. Clemens Czyperski. Component Software, Beyond Object-Oriented Programming. Addison-Wesley, 1998.
5. Olivier Danvy, Robert Glück, and Peter Thiemann, editors. Dagstuhl Seminar on Partial Evaluation 1996, number 1110 in Lecture Notes in Computer Science, Schloß Dagstuhl, Germany, February 1996. Springer-Verlag.
6. Dirk Dussart, Eddy Bevers, and Karel De Vlaminck. Polyvariant constructor specialization. In William Scherlis, editor, Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation PEPM '95, pages 54-63, La Jolla, CA, USA, June 1995. ACM Press.
7. Sandro Etalle and Maurizio Gabbrieli. Partial evaluation of concurrent constraint languages. ACM Comput. Surv., 30(3es):11, 1998.
8. Vladimir Gapeyev, Michael Y. Levin, and Benjamin C. Pierce. Recursive subtying revealed. Journal of Functional Programming, 12(6):511-548, November 2002.
9. Simon Gay and Malcolm Hole. Types and subtypes for client-server interactions. In Doaitse Swierstra, editor, Proceedings of the 1999 European Symposium on Programming, number 1576 in Lecture Notes in Computer Science, pages 74-90, Amsterdam, The Netherlands, April 1999. Springer-Verlag.
10. Simon Gay, Vasco Vasconcelos, and Antonio Ravara. Session types for inter-process communication. Technical Report TR-2003-133, Department of Computing Science, University of Glasgow, 2003.
11. Marc Gengler and Matthieu Martel. Self-applicable partial evaluation for the pi-calculus. In Consel [3], pages 36-46.
12. John Hatcliff, Torben Æ. Mogensen, and Peter Thiemann, editors. Partial Evaluation-Practice and Theory. Proceedings of the 1998 DIKU International Summerschool, number 1706 in Lecture Notes in Computer Science, Copenhagen, Denmark, 1999. Springer-Verlag.
13. Haruo Hosoya, Naoki Kobayashi, and Akinori Yonezawa. Partial evaluation scheme for concurrent languages and its correctness. In L. Bougé et al., editors, Euro-Par'96 - Parallel Processing, number 1123 in Lecture Notes in Computer Science, pages 625-632, Lyon, Prance, 1996. Springer-Verlag.
14. John Hughes. Type specialisation for the λ-calculus; or, a new paradigm for partial evaluation based on type inference. In Danvy et al. [5], pages 183-215.
15. Neil Jones, Carsten Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
16. Naoki Kobayashi. Useless code elimination and programm slicing for the pi-calculus. In Atsushi Ohori, editor, Proceedings of the First Asian Symposium on Programming Languages and Systems, number 2895 in Lecture Notes in Computer Science, pages 55-72, Beijing, China, November 2003. Springer-Verlag.
17. Mihnea Marinescu and Benjamin Goldberg. Partial-evaluation techniques for concurrent programs. In Consel [3], pages 47-62.
18. Matthias Neubauer and Peter Thiemann. Protocol specialization. Technical Report 212, Institut für Informatik, University of Freiburg, Germany, August 2004.
19. Oscar Nierstrasz. Regular types for active objects. In Proceedings OOPSLA '93, pages 1-15, October 1993.
20. Benjamin C. Pierce and Davide Sangiorgi. Typing and subtyping for mobile processes. In Proc. of the 8th Annual IEEE Symposium on Logic in Computer Science, pages 376-385. IEEE Computer Society Press, 1993.
21. Thomas Reps and Todd Turnidge. Program specialization via program slicing. In Danvy et al. [5], pages 409-429.
22. Ulrik Schultz, Julia Lawall, Charles Consel, and Gilles Muller. Toward automatic specialization of Java programs. In 13th European Conference on Object-Oriented Programming (ECOOP '99), Lisbon, June 1999. Springer-Verlag.
23. Ulrik P. Schultz. Black-box program specialization. In WCOP'99, Fourth International Workshop on Component-Oriented Programming, Lisbon, Portugal, June 1999.
24. Ulrik P. Schultz, Julia L. Lawall, and Charles Consel. Automatic program specialization for Java. ACM Transactions on Programming Languages and Systems (TOPLAS), 25(4):452-499, 2003.
25. Frank Tip. A survey of program slicing techniques. Journal of Programming Languages, 3(3):121-189, 1995.
26. Frank Tip, Peter F. Sweeney, Chris Laffra, Aldo Eisma, and David Streeter. Practical extraction techniques for Java. ACM Transactions on Programming Languages and Systems, 24(6):625-666, November 2002.
27. David Walker, Carl Crary, and Greg Morrisett. Typed memory management via static capabilities. ACM Transactions on Programming Languages and Systems, 22(4):701-771, July 2000.