JavaΩ: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters

  • Authors:
  • Marco Bellia;M. Eugenia Occhiuto

  • Affiliations:
  • Dipartimento di Informatica, Università/ di Pisa, Largo B. Pontecorvo, 3, I-56127 Pisa, Italy. bellia@di.unipi.it/ occhiuto@di.unipi.it;(Correspd.) Dipartimento di Informatica, Università/ di Pisa, Largo B. Pontecorvo, 3, I-56127 Pisa, Italy. bellia@di.unipi.it/ occhiuto@di.unipi.it

  • Venue:
  • Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

M_parameters extend Java by allowing methods to have methods as parameters. [8] 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. Furthermore, 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 [20] is proposed. Eventually, we discuss how mc_parameters deal with overloaded methods.