Skip to main
Ulysseus Science
...
All Ulysseus Science
Communities
My dashboard
New upload
Log in

Z

E

ZUCCA , Elena

Last name: ZUCCA

First name: Elena

    Recent uploads

  • 1995 (v1)
    Publication
    Metadata-only
    Implementation of data structures in an imperative framework
    ZUCCA, ELENA

    No description

    Uploaded on: April 14, 2023
  • 1999 (v1)
    Publication
    Metadata-only
    From static to dynamic abstract data-types: An institution transformation
    ZUCCA, ELENA

    No description

    Uploaded on: April 14, 2023
  • 2007 (v1)
    Publication
    Metadata-only
    Guest Editorial of the special issue on the eighth workshop on Formal Techniques for Java-like Programs
    ANCONA, DAVIDE ZUCCA, ELENA

    No description

    Uploaded on: March 31, 2023
  • 2013 (v1)
    Publication
    Metadata-only
    Safe Corecursion in coFJ
    ANCONA, DAVIDE ZUCCA, ELENA

    No description

    Uploaded on: April 14, 2023
  • 2013 (v1)
    Publication
    Metadata-only
    A Meta-Circular Language for Active Libraries
    M. Servetto ZUCCA, ELENA

    No description

    Uploaded on: April 14, 2023
  • 2002 (v1)
    Publication
    Metadata-only
    A calculus of module systems
    ANCONA, DAVIDE ZUCCA, ELENA

    No description

    Uploaded on: March 27, 2023
  • 1998 (v1)
    Publication
    Metadata-only
    A theory of mixin modules: Basic and derived operators
    ANCONA, DAVIDE ZUCCA, ELENA

    No description

    Uploaded on: March 31, 2023
  • 2012 (v1)
    Publication
    Metadata-only
    Corecursive Featherweight Java
    ANCONA, DAVIDE ZUCCA, ELENA

    Despite cyclic data structures occur often in many application domains, object-oriented programming languages provide poor abstraction mechanisms for dealing with cyclic objects. Such a deficiency is reflected also in the research on theoretical foundation of object-oriented languages; for instance, Featherweigh Java (FJ), which is one of...

    Uploaded on: April 14, 2023
  • 2006 (v1)
    Publication
    Metadata-only
    Introducing safe unknown types in Java-like languages
    LAGORIO, GIOVANNI ZUCCA, ELENA

    No description

    Uploaded on: March 31, 2023
  • 2001 (v1)
    Publication
    Metadata-only
    True modules for Java-like languages.
    ANCONA, DAVIDE ZUCCA, ELENA

    No description

    Uploaded on: March 31, 2023
  • 2002 (v1)
    Publication
    Metadata-only
    A theory of mixin modules: algebraic laws and reduction semantics
    ANCONA, DAVIDE ZUCCA, ELENA

    No description

    Uploaded on: March 31, 2023
  • 1981 (v1)
    Publication
    Metadata-only
    Semantics of Distributed Processes Derived by Translation
    ASTESIANO, EGIDIO ZUCCA, ELENA

    No description

    Uploaded on: April 14, 2023
  • 1995 (v1)
    Publication
    Metadata-only
    D-oids: a model for dynamic data-types
    ASTESIANO, EGIDIO ZUCCA, ELENA

    No description

    Uploaded on: March 31, 2023
  • 1984 (v1)
    Publication
    Metadata-only
    Parametric Channels Via Label Expressions in CCS
    ASTESIANO, EGIDIO ZUCCA, ELENA

    No description

    Uploaded on: March 27, 2023
  • 1981 (v1)
    Publication
    Metadata-only
    Semantics of CSP via translation into CCS
    ASTESIANO, EGIDIO ZUCCA, ELENA

    No description

    Uploaded on: April 14, 2023
  • 2007 (v1)
    Publication
    Metadata-only
    A formal framework for compositional compilation (extended abstract)
    ANCONA, DAVIDE ZUCCA, ELENA

    No description

    Uploaded on: April 14, 2023
  • 2007 (v1)
    Publication
    Metadata-only
    Just: safe unknown types in Java-like languages
    LAGORIO, GIOVANNI ZUCCA, ELENA

    No description

    Uploaded on: April 14, 2023
  • 1996 (v1)
    Publication
    Metadata-only
    An Algebraic Semantic Framework for Object Oriented Languages with Concurrency
    BREU R. ZUCCA, ELENA

    No description

    Uploaded on: December 5, 2022
  • 2012 (v1)
    Publication
    Metadata-only
    Translating Corecursive Featherweight Java in Coinductive Logic Programming
    ANCONA, DAVIDE ZUCCA, ELENA

    Corecursive FeatherWeight Java (coFJ) is a recently proposed extension of the calculus FeatherWeight Java (FJ), supporting cyclic objects and regular recursion, and explicitly designed to promote a novel programming paradigm inspired by coinductive Logic Programming (coLP), based on coinductive, rather than inductive, interpretation of...

    Uploaded on: April 14, 2023
  • 1996 (v1)
    Publication
    Metadata-only
    From Static to Dynamic Abstract Data-Types
    ZUCCA, ELENA

    No description

    Uploaded on: April 14, 2023
  • 2001 (v1)
    Publication
    Metadata-only
    Overloading and inheritance
    ANCONA, DAVIDE ZUCCA, ELENA DROSSOPOULOU, Sophia

    No description

    Uploaded on: April 14, 2023
  • 2001 (v1)
    Publication
    Metadata-only
    A core calculus for Java exceptions
    ANCONA, DAVIDE LAGORIO, GIOVANNI ZUCCA, ELENA

    No description

    Uploaded on: March 31, 2023

About Ulysseus

Main website

Join our research network

Match4Cooperation

Powered by InvenioRDM