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.
2009
Bellia, Marco; Occhiuto, MARIA EUGENIA
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11568/197612
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 0
social impact