Abstract. M parameter extends Java by allowing methods to have methods as parameters. [BO08b] 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. Further- more, 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 [Hor07] is proposed. Eventually, we dis- cuss how mc parameters deal with overloaded methods.
JavaOmega: The structure and the Implementation of a Preprocessor for Java with m- and mc-parameters
BELLIA, MARCO;OCCHIUTO, MARIA EUGENIA
2009-01-01
Abstract
Abstract. M parameter extends Java by allowing methods to have methods as parameters. [BO08b] 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. Further- more, 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 [Hor07] is proposed. Eventually, we dis- cuss how mc parameters deal with overloaded methods.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
