In this paper we investigate the possibility of adding higher order functionalities to Java, that is passing methods as parameters to other methods. The approach is based on a mechanism which offers a restricted, disciplined, form of function abstraction but suitable to the integration of high order and Object Oriented programming. We discuss how the expressive power of the language is increased. A new syntax is introduced for formal and actual parameters, hence the paper shows an implementation of the extentions based on a preprocessing technique tha maps programs of the extended language into programs of ordinary Java
This work investigates the question of modular specification of generic Java classes and methods. Th...
This work investigates the question of modular specification of generic Java classes and methods. Th...
In a pre and postconditions-style specification, it is difficult to specify the allowed sequences of...
In this paper we investigate the possibility of adding higher order functionalities to Java, that ...
In this paper we investigate the possibility of adding higher order functionalities to Java, that is...
The paper investigates the use of preprocessing in adding higher order functionalities to Java. that...
Abstract. The paper investigates the use of preprocessing in adding higher order functionalities to...
In \cite{bellia2008} an extension of Java is described which allows methods to have other methods as...
In \cite{bellia2008} an extension of Java is described which allows methods to have other methods as...
Higher order programming is considered a good methodology for program design and specification, fu...
Higher order programming is considered a good methodology for program design and specification, furt...
Abstract. We introduce a direct encoding of the typed λ-calculus into Java: for any Java types A, B ...
As Java developers, we talk a lot about methods of classes and interfaces. We talk about types of me...
This work investigates the question of modular specification of generic Java classes and methods. Th...
We propose a conservative extension of the polymorphic lambda calculus ()# * ) as an intermediate la...
This work investigates the question of modular specification of generic Java classes and methods. Th...
This work investigates the question of modular specification of generic Java classes and methods. Th...
In a pre and postconditions-style specification, it is difficult to specify the allowed sequences of...
In this paper we investigate the possibility of adding higher order functionalities to Java, that ...
In this paper we investigate the possibility of adding higher order functionalities to Java, that is...
The paper investigates the use of preprocessing in adding higher order functionalities to Java. that...
Abstract. The paper investigates the use of preprocessing in adding higher order functionalities to...
In \cite{bellia2008} an extension of Java is described which allows methods to have other methods as...
In \cite{bellia2008} an extension of Java is described which allows methods to have other methods as...
Higher order programming is considered a good methodology for program design and specification, fu...
Higher order programming is considered a good methodology for program design and specification, furt...
Abstract. We introduce a direct encoding of the typed λ-calculus into Java: for any Java types A, B ...
As Java developers, we talk a lot about methods of classes and interfaces. We talk about types of me...
This work investigates the question of modular specification of generic Java classes and methods. Th...
We propose a conservative extension of the polymorphic lambda calculus ()# * ) as an intermediate la...
This work investigates the question of modular specification of generic Java classes and methods. Th...
This work investigates the question of modular specification of generic Java classes and methods. Th...
In a pre and postconditions-style specification, it is difficult to specify the allowed sequences of...