Marco Bellia

27 papers B 1Journal 15Unranked 9
YearRankTypeTitle / Venue / Authors
2016 J jnl
Programming Self-Assembly of DNA Tiles.
Fundam. Informaticae
Marco Bellia, M. Eugenia Occhiuto
2014 J jnl
DNA Tiles, Wang Tiles and Combinators.
Fundam. Informaticae
Marco Bellia, M. Eugenia Occhiuto
2014 — conf
Programming Self-Assembly of DNA Tiles.
CS&P
Marco Bellia, M. Eugenia Occhiuto
2013 — conf
DNA Tiles, Wang Tiles and Combinators.
CS&P
Marco Bellia, M. Eugenia Occhiuto
2013 J jnl
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types.
Fundam. Informaticae
Marco Bellia, M. Eugenia Occhiuto
2012 — conf
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures.
CS&P
Marco Bellia, M. Eugenia Occhiuto
2012 J jnl
The Equivalence of Reduction and Translation Semantics of Java Simple Closures.
Fundam. Informaticae
Marco Bellia, M. Eugenia Occhiuto
2011 J jnl
Properties of Java Simple Closures.
Fundam. Informaticae
Marco Bellia, M. Eugenia Occhiuto
2009 J jnl
JavaOmega: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters.
Fundam. Informaticae
Marco Bellia, M. Eugenia Occhiuto
2008 J jnl
Methods as Parameters: A Preprocessing Approach to Higher Order in Java.
Fundam. Informaticae
Marco Bellia, M. Eugenia Occhiuto
2005 J jnl
Higher order Programming in Java: Introspection, Subsumption and Extraction.
Fundam. Informaticae
Marco Bellia, M. Eugenia Occhiuto
2003 J jnl
N-axioms Parallel Unification.
Fundam. Informaticae
Marco Bellia, M. Eugenia Occhiuto
1999 J jnl
Lazy Linear Combinatorial Unification.
J. Symb. Comput.
Marco Bellia, M. Eugenia Occhiuto
1995 J jnl
Suprema of Open and Closed Formulas and Their Application to Resolution
Inf. Comput.
Marco Bellia, M. Eugenia Occhiuto
1993 J jnl
C-Expressions: A Variable-Free Calculus for Equational Logic Programming.
Theor. Comput. Sci.
Marco Bellia, M. Eugenia Occhiuto
1990 — conf
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing.
CAAP
Marco Bellia, Michele Bugliesi, M. Eugenia Occhiuto
1988 J jnl
Logic and Functional Programming by Retractions.
RAIRO Theor. Informatics Appl.
Marco Bellia
1988 J jnl
Logic and Functional Programming by Retractions: Operational Semantics.
RAIRO Theor. Informatics Appl.
Marco Bellia
1987 — conf
A Two-Level Approach to Logic plus Functional Programming Integration.
PARLE (1)
Marco Bellia, Pier Giorgio Bosco, Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi
1987 — conf
Retractions: A Functional Paradigm for Logic Programming.
TAPSOFT, Vol.2
Marco Bellia
1986 — ch.
LEAF: A Language which Integrates Logic, Equations and Functions.
Logic Programming: Functions, Relations, and Equations
Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli
1986 J jnl
The Relation between Logic and Functional Languages: A Survey.
J. Log. Program.
Marco Bellia, Giorgio Levi
1984 — ch.
A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language.
Implementations of Prolog
Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli
1984 — conf
On the Integration of Logic Programming and Functional Programming.
SLP
Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli
1983 B conf
On Compiling Prolog Programs on Demand Driven Architectures.
Logic Programming Workshop
Marco Bellia, Giorgio Levi, Maurizio Martelli
1982 — conf
Applicative communicating processes in first order logic.
Symposium on Programming
Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli
1977 — conf
Distributed Control, Modularity and Data Types in a Simple Parallel Language.
International Computing Symposium
Marco Bellia, Giorgio Levi