Pascal user manual and report; 3rd ed.
Pascal user manual and report; 3rd ed.
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Conception, evolution, and application of functional programming languages
ACM Computing Surveys (CSUR)
The C programming language
The essence of functional programming
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Object-oriented programming: a unified foundation
Object-oriented programming: a unified foundation
Pizza into Java: translating theory into practice
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Haskell school of expression: learning functional programming through multimedia
The Haskell school of expression: learning functional programming through multimedia
Communications of the ACM
Effective Java programming language guide
Effective Java programming language guide
C++: The Complete Reference
A Theory of Objects
Java Language Specification, Second Edition: The Java Series
Java Language Specification, Second Edition: The Java Series
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Nu: preserving design modularity in object code
ACM SIGSOFT Software Engineering Notes
Java as a functional programming language
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
Higher order Programming in Java: Introspection, Subsumption and Extraction
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Hi-index | 0.00 |
The paper investigates the use of preprocessing in adding higher order functionalities to Java, that is in passing methods to other methods. The approach is based on a mechanism which offers a restricted, disciplined, form of abstraction that is suitable to the integration of high order and object oriented programming. We show how this integration can be exploited in programming through the development of an example. Then, we discuss how the expressive power of the language is improved. A new syntax is introduced for formal and actual parameters, hence the paper defines a translation that, at preprocessing time, maps programs of the extended language into programs of ordinary Java.