Sfoglia per Autore
Reduction Machines fo Logic Programming based on C-expressions
1992-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
C-expressions: A variable free calculus for equational Logic Programming
1993-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
C-expressions: a variable-free calculus for equational logic programming
1993-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
Suprema of Open and Closed Formulas and their Application to Resolution
1995-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
Another PRAM algorithm for finding connected components of sparse graphs
1999-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
Lazy Linear Combinatorial Unification
1999-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
New Bounds in Parallel Unification
2001-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
N-axioms Parallel Unification
2003-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
Another PRAM Algorithm for Finding Connected Components of Sparse Graphs
2003-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
Higher Order programming through JAVA Reflection
2004-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
Higher Order Programming in JAVA: Introspection, Subsumption and Extraction
2005-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
From Object Calculus to Java with Passing and Extraction of Methods
2006-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
Methods as Parameters: A Pre-processing Approach in Java
2007-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
JavaOmega: Software
2007-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
A Preprocessor for Java with m-parameters, CS&P'2008
2008-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
Methods as Parameters: A Preprocessing Approach to Higher Order in Java
2008-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
JavaOmega: A Translation Semantics for Closures in Java
2009-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
JavaOmega: The structure and the Implementation of a Preprocessor for Java with m- and mc-parameters
2009-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
Proving Type Safety for Java Simple Closures
2010-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures
2011-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
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