CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 31 a 60 di 66
Titolo Data di pubblicazione Autore(i) File
Operators for Unification and Most General Instance 1-gen-1990 Bellia, Marco; Occhiuto, MARIA EUGENIA
A Variable free calculus for Equational Programming 1-gen-1990 Bellia, Marco; Occhiuto, MARIA EUGENIA
Unification: ?-terms or Substitutions? 1-gen-1991 Bellia, Marco; Occhiuto, MARIA EUGENIA
Reduction Machines fo Logic Programming based on C-expressions 1-gen-1992 Bellia, Marco; Occhiuto, MARIA EUGENIA
Linear Unification based on C-expressions 1-gen-1992 Bellia, Marco; Occhiuto, MARIA EUGENIA
C-expressions: A variable free calculus for equational Logic Programming 1-gen-1993 Bellia, Marco; Occhiuto, MARIA EUGENIA
C-expressions: a variable-free calculus for equational logic programming 1-gen-1993 Bellia, Marco; Occhiuto, MARIA EUGENIA
Suprema of Open and Closed Formulas and their Application to Resolution 1-gen-1995 Bellia, Marco; Occhiuto, MARIA EUGENIA
Another PRAM algorithm for finding connected components of sparse graphs 1-gen-1999 Bellia, Marco; Occhiuto, MARIA EUGENIA
Lazy Linear Combinatorial Unification 1-gen-1999 Bellia, Marco; Occhiuto, MARIA EUGENIA
New Bounds in Parallel Unification 1-gen-2001 Bellia, Marco; Occhiuto, MARIA EUGENIA
New Bounds in Parallel Unification 1-gen-2002 Bellia, Marco; OCCHIUTO M., Eugenia
Another PRAM Algorithm for Finding Connected Components of Sparse Graphs 1-gen-2003 Bellia, Marco; Occhiuto, MARIA EUGENIA
N-axioms Parallel Unification 1-gen-2003 Bellia, Marco; Occhiuto, MARIA EUGENIA
Higher Order Programming through Java Reflection 1-gen-2004 Bellia, Marco; OCCHIUTO M., Eugenia
Higher Order Programming in JAVA: Introspection, Subsumption and Extraction 1-gen-2005 Bellia, Marco; Occhiuto, MARIA EUGENIA
From Object Calculus to Java with Passing and Extraction of Methods 1-gen-2006 Bellia, Marco; Occhiuto, MARIA EUGENIA
JavaOmega: Software 1-gen-2007 Bellia, Marco; Occhiuto, MARIA EUGENIA
Methods as Parameters: A Preprocessing Approach in Java 1-gen-2007 Bellia, Marco; OCCHIUTO M., Eugenia
Methods as Parameters: A Preprocessing Approach to Higher Order in Java 1-gen-2008 Bellia, Marco; Occhiuto, MARIA EUGENIA
JavaOmega: A Preprocessor for Java with M-parameters 1-gen-2008 Bellia, Marco; Occhiuto, M. E.
JavaOmega: A Translation Semantics for Closures in Java 1-gen-2009 Bellia, Marco; Occhiuto, MARIA EUGENIA
JavaOmega: The structure and the Implementation of a Preprocessor for Java with m- and mc-parameters 1-gen-2009 Bellia, Marco; Occhiuto, MARIA EUGENIA
Proving Type Safety for Java Simple Closures 1-gen-2010 Bellia, Marco; Occhiuto, M. E.
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures, Extended Version 1-gen-2011 Bellia, Marco; Occhiuto, MARIA EUGENIA
JavaW: Higher Order Programming in Java 1-gen-2011 Bellia, Marco; Occhiuto, M. E.
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures 1-gen-2011 Bellia, Marco; Occhiuto, MARIA EUGENIA
Properties of Java Simple Closures 1-gen-2011 Bellia, Marco; Occhiuto, MARIA EUGENIA
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures 1-gen-2012 Bellia, Marco; Occhiuto, MARIA EUGENIA
The Equivalence of Reduction and Translation Semantics, of Java Simple Closure(Extended Version) 1-gen-2012 Bellia, Marco; Occhiuto, MARIA EUGENIA
Mostra risultati da 31 a 60 di 66
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile