Fine-grained interoperability through mirrors and contracts

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2005, Pages 231-245

  Gray, Kathryn E ^a   Findler, Robert Bruce ^b   Flatt, Matthew ^a  

^a UNIVERSITY OF UTAH   (United States)

^b UNIVERSITY OF CHICAGO   (United States)

Author keywords

Contracts; Interoperability; Java; Mirrors; Scheme

Indexed keywords

CONTRACTS; FUNCTIONS; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS; MIRRORS;

DYNAMIC PREDICATES; SCHEME;

INTEROPERABILITY;

EID: 31744447223     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1094811.1094830     Document Type: Conference Paper

References (39)

1. M. Abadi, L. Cardelli, B. Pierce, and G. Plotkin. Dynamic typing in a statically typed language. ACM Transactions on Computing Systems, 1991.
2. K. Anderson, T. Hickey, and P. Norvig. JScheme User manual, Apr. 2002. jscheme.sourceforge.net/jscheme/doc/userman.html.
3. K. R. Anderson, T. J. Hickey, and P. Norvig. SILK - a playful blend of Scheme and Java. In Proc. Workshop on Scheme and Functional Programming, Sept. 2000.
4. D. M. Beazley. SWIG : An easy to use tool for integrating scripting languages with C and C++. In Tcl/Tk Workshop, 1996.
5. N. Benton and A. Kennedy. Interlanguage working without tears: Blending SML with Java. In Proc. ACM International Conference on Functional Programming, pages 126-137, 1999.
6. M. Blume. No-longer-foreign: Teaching an ML compiler to speak C "natively". In BABEL: Workshop on multi-language infrastructure and interoperability, Sept. 2001.
7. P. Bothner. Kawa: Compiling Scheme to Java. In Lisp Users Conference, Nov. 1998.
8. G. Bracha and D. Griswold. Strongtalk: Typechecking Smalltalk in a production environment. In Proc. ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, 1993.
9. G. Bracha and D. Ungar. Mirrors: Design principles for meta-level facilities of object-oriented programing languages. In Proc. ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2004.
10. M. C. Carlisle, R. E. Sward, and J. W. Humphries. Weaving ada 95 into the.net environment. In Proceedings of the ACM SIGAda international conference on Ada, 2002.
11. J. Clements and M. Felleisen. A tail-recursive semantics for stack inspections. In Proc. European Symposium on Programming, 2003.
12. D. Duggan. Dynamic typing for distributed programming in polymorphic languages. ACM Transactions on Computing Systems, 1999.
13. R. B. Findler and M. Felleisen. Contracts for higher-order functions. In Proc. ACM International Conference on Functional Programming, Oct. 2002.
14. R. B. Findler, C. Flanagan, M. Flatt, S. Krishnamurthi, and M. Felleisen. DrScheme; A pedagogic programming environment for Scheme. In Proc. International Symposium on Programming Languages: Implementations, Logics, and Programs, pages 369-388, Sept. 1997.
15. R. B. Findler, M. Flatt, and M, Felleisen. Semantic casts: Contracts and structural subtyping in a nominal world. In Proc. European Conference on Object-Oriented Programming, 2004.
16. M. Flatt. PLT MzScheme: Language manual. Technical Report TR97-280, Rice University, 1997.
17. M. Flatt. Composable and compilable macros: You want it when? In Proc. ACM International Conference on Functional Programming, pages 72-83, Oct. 2002.
18. M. Flatt, S. Krishnamurthi, and M. Felleisen. A programmer's reduction semantics for classes and mixins. Formal Syntax and Semantics of Java, 1523, 1999.
19. Preliminary version appeared in proceedings of Principles of Programming Languages, 1998.
20. Revised version is Rice University technical report TR 97-293, June 1999.
21. M. Furr and J. S. Foster. Checking Type Safety of Foreign Function Calls. Technical Report CS-TR-4627, University of Maryland, Computer Science Department, Nov. 2004.
22. A. Goldberg and D. Robson. Smalltalk-80: The Language and its Implementation. Addison-Wesley, 1983.
23. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification. Addison-Wesley, second edition edition, 2000.
24. P. Graunke. Web Interactions. PhD thesis, Northeastern University, 2003.
25. K. E. Gray and M. Flatt. ProfessorJ: a gradual introduction to Java through language levels. In OOPSLA Companion: Educators' Symposium, pages 170-177, Oct. 2003.
26. K. E. Gray and M. Flatt. Compiling Java to PLT Scheme. In Proc. Workshop on Scheme and Functional Programming, Sept. 2004.
27. J. Hamilton. Interlanguage object sharing with som. In COOTS, 1996.
28. J. Hamilton. Language integration in the common language runtime. SIGPLAN Not., 38(2):19-28, 2003.
29. A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In Proc. ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, 1999.
30. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, second edition edition, 1999.
31. S. G. Miller. SISC: A complete Scheme interpreter in Java. sise.sourceforge.net/sisc.pdf, Feb. 2003.
32. S. G. Miller and M. Radestock. SISC for Seasoned Schemers, 2003. sisc.sourceforge.net/manual.
33. OMG(1997). The common object request broker: Architecture and specification. Revision 2.0 July 1995, Update July 1996, Object Management Group, formal document 97-02-25 www.omg.org.
34. D. S. Platt. Introducing Microsoft .NET. Microsoft Press, second edition edition, 2002.
35. C. Queinnec. The influence of browsers on evaluators or, continuations to program web servers. In Proc. ACM International Conference on Functional Programming, 2000.
36. D. Rogerson. Inside COM. Microsoft Press.
37. W. Tao. A Portable Machanism for Thread Persistence and Migration. PhD thesis, University of Utah, 2000.
38. G. van Rossum. Python Reference Manual, Nov. 2004. http://docs.python. org/ref/ref.html.
39. A. Wollrath, R. Riggs, and J. Waldo. A distributed object model for the Java system. In COOTS, 1996.