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

Issue title: Concurrency Specification and Programming (CS&P)

Article type: Research Article

Authors: Bellia, Marco | Occhiuto, M. Eugenia

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

Note: [] Address for correspondence: Dipartimento di Informatica, Università di Pisa, Largo B. Pontecorvo, 3, I-56127 Pisa, Italy

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.

DOI: 10.3233/FI-2009-0087

Journal: Fundamenta Informaticae, vol. 93, no. 1-3, pp. 45-64, 2009