Università di Pisa
Sistema bibliotecario di ateneo

From Object Calculus to Java with Passing and Extraction of Methods

Bellia, Marco and Occhiuto, Maria Eugena (2006) From Object Calculus to Java with Passing and Extraction of Methods. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] Postscript (GZip) - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (2317Kb)


    Higher order programming is considered a good methodology for program design and specification, furthermore it is fundamental for rapid prototyping. The paper is devoted to higher order programming in Java and, more in general, in the OO programming paradigm. It extends \cite{high2} and discusses introspection to support higher order programming and compares this technique with other different, interesting approaches, including function emulation and function integration. Finally, it addresses the problem of embedding, in the OO paradigm, suitable mechanisms for method passing and method extraction: It exemplifies the use in OO programming and discusses language definition techniques.

    Item Type: Book
    Uncontrolled Keywords: Java, Higher order Programming, Object Calculus, method passing, method extraction, Sigma_x calculus,
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 09 Dec 2014 13:04
    Last Modified: 09 Dec 2014 13:04
    URI: http://eprints.adm.unipi.it/id/eprint/2159

    Repository staff only actions

    View Item