Autore
MARIA EUGENIA OCCHIUTO
Unimap Dati autore
- Professore Associato presso Dipartimento di Informatica
- Membro della Facolta' di Scienze Matematiche Fisiche e Naturali
- Settore scientifico disciplinare INF/01 INFORMATICA
- In servizio
Prodotti
- Articoli
- C-expressions: A variable-free calculus for equational logic programming 1993
- Suprema of open and closed formulas and their application to resolution 1995
- Lazy Linear Combinatorial Unification 1999
- N-axioms Parallel Unification 2003
- Higher Order Programming in JAVA: Introspection, Subsumption and Extraction. 2005
- Methods as Parameters: A Preprocessing Approach to Higher Order in Java 2008
- JavaOmega: The structure and the Implementation of a Preprocessor for Java with m- and mc-parameters. 2009
- Properties of Java Simple Closures 2011
- Atti, Riassunti o Comunicazioni
- New Bounds in Parallel Unification 2002
- Another PRAM Algorithm for Finding Connected Components of Sparse Graphs 2003
- Higher Order programming through JAVA Reflection 2004
- Methods as Parameters: A Pre-processing Approach in Java 2007
- JavaOmega: A Preprocessor for Java with m-parameters 2008
- JavaOmega: A Translation Semantics for Closures in Java 2009
- Proving Type Safety for Java Simple Closures 2010
- Libri, Manuali o Trattati
- Rapporti