M. Eugenia Occhiuto

Publication Activity (10 Years)

Years Active: 1983-2016
Publications (10 Years): 1

Top Topics

Lambda Calculus

Programming Environments

Inference Process

Top Venues

Fundam. Informaticae

Publications

Marco Bellia, M. Eugenia Occhiuto
Programming Self-Assembly of DNA Tiles. Fundam. Informaticae 143 (1-2) (2016)
Marco Bellia, M. Eugenia Occhiuto
DNA Tiles, Wang Tiles and Combinators. Fundam. Informaticae 133 (2-3) (2014)
Marco Bellia, M. Eugenia Occhiuto
Programming Self-Assembly of DNA Tiles. CS&P (2014)
Marco Bellia, M. Eugenia Occhiuto
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types. Fundam. Informaticae 128 (1-2) (2013)
Marco Bellia, M. Eugenia Occhiuto
DNA Tiles, Wang Tiles and Combinators. CS&P (2013)
Marco Bellia, M. Eugenia Occhiuto
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures. CS&P (2012)
Marco Bellia, M. Eugenia Occhiuto
The Equivalence of Reduction and Translation Semantics of Java Simple Closures. Fundam. Informaticae 119 (3-4) (2012)
Marco Bellia, M. Eugenia Occhiuto
Properties of Java Simple Closures. Fundam. Informaticae 109 (3) (2011)
Marco Bellia, M. Eugenia Occhiuto
JavaOmega: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters. Fundam. Informaticae 93 (1-3) (2009)
Marco Bellia, M. Eugenia Occhiuto
Methods as Parameters: A Preprocessing Approach to Higher Order in Java. Fundam. Informaticae 85 (1-4) (2008)
Marco Bellia, M. Eugenia Occhiuto
Higher order Programming in Java: Introspection, Subsumption and Extraction. Fundam. Informaticae 67 (1-3) (2005)
Marco Bellia, M. Eugenia Occhiuto
N-axioms Parallel Unification. Fundam. Informaticae 55 (2) (2003)
Marco Bellia, M. Eugenia Occhiuto
Lazy Linear Combinatorial Unification. J. Symb. Comput. 27 (2) (1999)
Marco Bellia, M. Eugenia Occhiuto
Suprema of Open and Closed Formulas and Their Application to Resolution Inf. Comput. 117 (1) (1995)
Marco Bellia, M. Eugenia Occhiuto
C-Expressions: A Variable-Free Calculus for Equational Logic Programming. Theor. Comput. Sci. 107 (2) (1993)
Marco Bellia, Michele Bugliesi, M. Eugenia Occhiuto
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing. CAAP (1990)
Antonio Albano, Giorgio Ghelli, M. Eugenia Occhiuto, Renzo Orsini
A Strongly Typed, Interactive Object-Oriented Database Programming Language. OODBS (1986)
Antonio Albano, Maurizio Capaccioli, M. Eugenia Occhiuto, Renzo Orsini
A Modularization Mechanism for Conceptual Modeling. VLDB (1983)