JavaΩ: The Structures and the Implementation of a Preprocessor for Java with m_and mc_ parameters

• Autorzy: Bellia M. , Occhiuto M.E.
• Języki publikacji: EN

Abstrakty

EN

M_parameters extend Java by allowing methods to have methods as parameters. [8] furnishes a semantics of m parameters and applications in OO programming. In this paper, we present an implementation of the extended language based on program preprocessing. We also discuss the integration of the extended programs with ordinary Java programs, and hence Java API. Furthermore, mc_parameters are defined: they are a variant of m parameters for which the class hierarchy of the method passed as parameter must be provided in the formal and actual parameter. Semantics for mc_parameters is given but, in this case, an implementation with callbacks [20] is proposed. Eventually, we discuss how mc parameters deal with overloaded methods.

Słowa kluczowe

EN

m_parameters; MC parameters

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2009
• Tom: Vol. 93, nr 1-3
• Strony: 45--64
• Opis fizyczny: Bibliogr. 25 poz.

Twórcy

autor

Bellia M.

autor

Occhiuto M.E.

• Dipartimento di Informatica, Universita di Pisa Largo B. Pontecorvo, 3, I-56127 Pisa, Italy,

Bibliografia

• [1] A.V. Aho, M.S. Lam, R. Sethi, and J.D. Ullman. Compilers: Principles, Tecniques, and Tools. Addison-Wesley, 2007.
• [2] G. Bracha, N. Gafter, J. Gosling, and P. von der Ahe. Closures for java, 2006. //blogs.sun.com/ahe/resource/closures.pdf.
• [3] G. Bracha, N. Gafter, J. Gosling, and P. von der Ahe. Closures for the java programming language (aka bgga), 2008. www.javac.info.
• [4] D. Lea B. Lee and J. Bloch. Concise instance creation expressions: Closure without complexity, 2006. crazybob.org/2006/10/java-closure-spectrum.html.
• [5] M. Bellia andM.E. Occhiuto. Higher order programming through Java reflection. In CS&P'2004, volume 3, pages 447-459, 2004.
• [6] M. Bellia and M.E. Occhiuto. JH-preprocessor, 2007. www.di.unipi.it/~occhiuto.
• [7] M. Bellia and M.E. Occhiuto. Java: The Structures and the Implementation of a Preprocessor for Java with m parameters. Technical Report TR-08-22, Dipartimento Informatica, University of Pisa, 2008.
• [8] M. Bellia and M.E. Occhiuto. Methods as parameters: A preprocessing approach to higher order in java. Fundamenta Informaticae, 85(1):35-50, 2008.
• [9] M. Bellia and M.E. Occhiuto. Java: Preprocessing Closures in Java. Technical Report TR-09-03, Dipartimento Informatica, University of Pisa, 2009.
• [10] B. Bringert. HOJ - higher-order Java, 2005. cs.chalmers.se/bringert/hoj.
• [11] C.Donnely and R. Stallman. Bison: The yacc-compatible parser generator, 2006. www.gnu.org/software/bison/manual.
• [12] S. Colebourne and S. Shulz. First class methods: Java style closures, 2006. docs.google.com/view?docid=ddhp95vd 6hg3qhc.
• [13] S. Colebourne, S. Shulz, and R. Clarkson. Fcm+jca, 2008. docs.google.com/ View?docid=ddhp95vd 0f7mcns.
• [14] R. Dyer, H. Narayanappa, and H. Rajan. Nu: Preserving design modularity in object code. ACM SIGSOFT Software Engeneering Notes, 31, 2006.
• [15] N.M. Gafter. Jsr proposal: Closures for java, 2007. JavaCommunity Process, www.javac.info/consensusclosure-jsr.html.
• [16] E. Gamma, R. Helm, R. Johnson, and J.M. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 2005.
• [17] J. Gosling, B. Joy, G. Steele, and G. Bracha. The JavaTM Language Specification - Second Edition. Addison-Wesley, 2000.
• [18] J. Gosling, B. Joy, G. Steele, and G. Bracha. The JavaTM Language Specification - Third Edition. Addison-Wesley, 2005.
• [19] B. Goetz. The closures debate: Should closures be added to the java language, and if so, how?, 2007. Java Theory and Practice, IBM Technical Library, www.ibm.com/developerworks/java/library/j-jtp04247.html.
• [20] C. Horstmann. Big Java ,3rd ed. Wiley Computing, 2007.
• [21] J.R. Levine, T. Mason, and D. Brown. Lex & Yacc. O´Relly, 1995.
• [22] B. Meyer. The power of abstraction, reuse and simplicity: An object-oriented library for event-driven design. In Essay in Memory of Ole-Johan Dahl 2004, volume 2635 of LNCS, pages 236-271. Springer, 2004.
• [23] M. Odersky, E. Runne, and P. Wadler. Two ways to bake your pizza - translating parameterised types into Java. In Generic Programming 1998, Proceedings of a Dagstuhl Seminar,LNCS 1766., pages 114-132, 1998.
• [24] M. Odersky and P. Wadler. Pizza into Java: translating theory into practice. In Proc. 24th Symposium on Principles of Programming Languages, pages 146-159, 1997.
• [25] A. Setzer. Java as a functional programming language. In TYPES 2002,LNCS 2646., pages 279-298, 2003.