Higher order Programming in Java : Introspection, Subsumption and Extraction

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

Abstrakty

EN

Higher order programming is considered a good methodology for program design and specification, furthermore it is fundamental for rapid prototyping. The paper is devoted to higher order programming in Java and, more in general, in the OO programming paradigm. We discuss introspection to write higher order programs and compare this technique with other different, interesting approaches, including function emulation and function integration. Finally, we address the problem of embedding, in the OO paradigm, the mechanisms for method passing and method extraction that are basic to the higher order programming methodology.

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2005
• Tom: Vol. 67, nr 1-3
• Strony: 29--44
• Opis fizyczny: Bibliogr. 18 poz.

Twórcy

autor

Bellia M.

• Dipartimento di Informatica, Universit`a di Pisa, Largo B. Pontecorvo 3, I-56127 Pisa, Italy

autor

Occhiuto M.E.

• Dipartimento di Informatica e Scienze dell’Informazione, Universit`a di Genova, via Dodecaneso 35, I-16146 Genova, Italy

Bibliografia

• [1] Abadi., M., Cardelli, L.: A theory of objects, Springer-Verlag, 1996.
• [2] Backus, J.: Can programming be liberated from the von Neumann style? A functional Style and its algebra of programs, Communication ACM, 21, 1978, 613–641.
• [3] Bellia, M., Occhiuto, M.: Higher Order Programming through Java Reflection, CS&P, 2004, 447–459.
• [4] Bierman, G., Parkinson, M.: Effects and effect inference for a core Java Calculus, Electronic Notes TCS, 82(8), 2003, 1–29.
• [5] Clark, D.: An Object Calculus with Ownership and Containment, 8th. FOOL, 2001.
• [6] Microsoft Corporation,M.: Delegates in Visual J++, 2004, Msdn.microsoft.com/vjsharp/productinfo/visualj-/visualj6/technical% -/articles/general/delegates/default.aspx.
• [7] Drossopoulou, S., Eisenbach, S.: Is the Java Type System Sound?, Journal of Theory and Practice of Object Systems, 5, 1999, 3–24.
• [8] Hudak, P.: Conception, evolution , and application of functional programming languages, ACM Computing Surveys, 21, 1989, 359–411.
• [9] Hudak, P.: The Haskell school of Expression, Cambridge University Press, 2000.
• [10] Igarishi, A., Pierce, B., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ., ACM TOPLAS, 23, 2001, 396–450.
• [11] Sun Inc., S. M.: A Sun Developer Network Site, 2004, Http://java.sun.com/j2se /1.5.0/download.jsp.
• [12] Jensen, K., Wirth, N.: Pascal User Manual and Report, second edition, Springer, 1975.
• [13] Kernighan, B. W., Ritchie, D. M.: The C programming Language, Prentice-Hal, 1988.
• [14] Odersky,M., Runne, E., Wadler, P.: 2002, Pizzacompiler.sourceforge.net /examples/enumerator.html.
• [15] Odersky,M.,Wadler, P.: Pizza into Java: translating theory into practice, Proc. 24th Symposium on Principles of Programming Languages, 1997, 146–159.
• [16] Schildt, H.: C++ The Complete Reference, McGraw Hill, Inc, 1995.
• [17] Setzer, A.: Java as a Functional Programming Language, TYPES 2002,LNCS 2646., 2003, 279–298.
• [18] Wadler, P.: The essence of functional programming, Proc. 19th Symposium on Principles of Programming Languages, 1992, 1–14.