Higher order Programming in Java: Introspection, Subsumption and Extraction

Authors:
Marco Bellia;M. Eugenia Occhiuto
Affiliations:
Dipartimento di Informatica, Università di Pisa, Largo B. Pontecorvo 3, I-56127 Pisa, Italy. E-mail: bellia@di.unipi.it;Dipartimento di Informatica e Scienze dell'Informazione, Università di Genova, via Dodecaneso 35, I-16146 Genova, Italy. E-mail: occhiuto@di.unipi.it
Venue:
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Year:
2005

Citing 11
Cited 1

Conception, evolution, and application of functional programming languages

ACM Computing Surveys (CSUR)
The C programming language

The C programming language
The essence of functional programming

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Pizza into Java: translating theory into practice

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Is the Java type system sound?

Theory and Practice of Object Systems - Special issue on foundations of object-oriented languages
The Haskell school of expression: learning functional programming through multimedia

The Haskell school of expression: learning functional programming through multimedia
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
Featherweight Java: a minimal core calculus for Java and GJ

ACM Transactions on Programming Languages and Systems (TOPLAS)
C++: The Complete Reference

C++: The Complete Reference
A Theory of Objects

A Theory of Objects
Java as a functional programming language

TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs

Methods as Parameters: A Preprocessing Approach to Higher Order in Java

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.