From sequential programs to multi-tier applications by program transformation

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2005, Pages 221-232

  Neubauer, Matthias ^a   Thiemann, Peter ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

Application Partioning; Concurrency; Type Systems

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; PROBLEM SOLVING; SERVERS; WORLD WIDE WEB;

APPLICATION PARTIONING; CONCURRENCY; TYPE SYSTEMS;

MIDDLEWARE;

EID: 29144480703     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1040305.1040324     Document Type: Conference Paper

References (20)

1. C. Flanagan, A. Sabry, B. F. Duba, and M. Felleisen. The essence of compiling with continuations. In Proceedings of the 1995 Conference on Programming Language Design and Implementation, pages 237-247, Albuquerque, New Mexico, June 1993.
2. S. Gay and M. Hole. Types and subtypes for client-server interactions. In D. Swierstra, editor, Proceedings of the 1999 European Symposium on Programming, number 1576 in Lecture Notes in Computer Science, pages 74-90, Amsterdam, The Netherlands, Apr. 1999. Springer-Verlag.
3. A. Gordon. Bisimilarity as a theory of functional programming. Theoretical Computer Science, 228(1-2):5-47, Oct. 1999.
4. J. Greiner and G. E. Blelloch. A provably time-efficient parallel implementation of full speculation. ACM Transactions on Programming Languages and Systems, 21(2):240-285, 1999.
5. F. Henglein. Efficient type inference for higher-order binding-time analysis. In Hughes [6], pages 448-472.
6. J. Hughes, editor. Functional Programming Languages and Computer Architecture, number 523 in Lecture Notes in Computer Science, Cambridge, MA, 1991. Springer-Verlag.
7. N. Jones, C. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
8. J. Krinke. Context-sensitive slicing of concurrent programs. In Proceedings 9th European Software Engineering Conference, pages 178-187. ACM Press, 2003.
9. X. Leroy. The Objective Caml system release 3.02, Documentation and user's manual. INRIA, France, July 2001. http://pauillao.inria.fr/caml.
10. R. Milner. Communication and Concurrency. Prentice Hall, Englewood Cliffs, NJ, 1989.
11. M. G. Nanda and S. Ramesh. Slicing concurrent programs. In Proceedings of the International Symposium on Software Testing and Analysis, pages 180-190. ACM Press, 2000.
12. D. Park. Concurrency and automata on infinite sequences. In Proceedings of the 5th GI-Conference on Theoretical Computer Science, number 104 in Lecture Notes in Computer Science, pages 167-1183. Springer-Verlag, 1981.
13. S. L. Peyton Jones. Parallel implementations of functional programming languages. The Computer Journal, 32(2):175-186, 1989.
14. S. L. Peyton Jones and J. Launchbury. Unboxed values as first class citizens in a non-strict functional language. In Hughes [6], pages 636-666.
15. W. R. Stevens. UNIX Network Programming. Prentice Hall Software Series, 1990.
16. Y. M. Tang and P. Jouvelot. Effect systems with subtyping. In W. Scherlis, editor, Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation PEPM '95, pages 45-53, La Jolla, CA, USA, June 1995. ACM Press.
17. F. Tip. A survey of program slicing techniques. J. Programming Languages, 3(3):121-189, 1995.
18. D. Walker, C. Crary, and G. Morrisett. Typed memory management via static capabilities. ACM Transactions on Programming Languages and Systems, 22(4):701-771, July 2000.
19. S. Zdancewic, L. Zheng, N. Nystrom, and A. C. Myers. Secure program partitioning. ACM Transactions on Computer Systems, 20(3):283-328, 2002.
20. L. Zheng, S. Chong, A. C. Myers, and S. Zdancewic. Using replication and partitioning to build secure distributed systems. In Proceedings of the 2003 IEEE Symposium on Security and Privacy, page 236. IEEE Computer Society, 2003.