Marco Bellia

According to our database, Marco Bellia authored at least 25 papers between 1977 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Programming Self-Assembly of DNA Tiles.

Marco Bellia, M. Eugenia Occhiuto

Fundam. Informaticae, 2016

2014

DNA Tiles, Wang Tiles and Combinators.

Marco Bellia, M. Eugenia Occhiuto

Fundam. Informaticae, 2014

2013

Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types.

Marco Bellia, M. Eugenia Occhiuto

Fundam. Informaticae, 2013

2012

The Equivalence of Reduction and Translation Semantics of Java Simple Closures.

Marco Bellia, M. Eugenia Occhiuto

Fundam. Informaticae, 2012

Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures.

Marco Bellia, M. Eugenia Occhiuto

Proceedings of the 21th International Workshop on Concurrency, 2012

2011

Properties of Java Simple Closures.

Marco Bellia, M. Eugenia Occhiuto

Fundam. Informaticae, 2011

2009

JavaOmega: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters.

Marco Bellia, M. Eugenia Occhiuto

Fundam. Informaticae, 2009

2008

Methods as Parameters: A Preprocessing Approach to Higher Order in Java.

Marco Bellia, M. Eugenia Occhiuto

Fundam. Informaticae, 2008

2005

Higher order Programming in Java: Introspection, Subsumption and Extraction.

Marco Bellia, M. Eugenia Occhiuto

Fundam. Informaticae, 2005

2003

N-axioms Parallel Unification.

Marco Bellia, M. Eugenia Occhiuto

Fundam. Informaticae, 2003

1999

Lazy Linear Combinatorial Unification.

Marco Bellia, M. Eugenia Occhiuto

J. Symb. Comput., 1999

1995

Suprema of Open and Closed Formulas and Their Application to Resolution

Marco Bellia, M. Eugenia Occhiuto

Inf. Comput., February, 1995

1993

C-Expressions: A Variable-Free Calculus for Equational Logic Programming.

Marco Bellia, M. Eugenia Occhiuto

Theor. Comput. Sci., 1993

1990

Combinatory Forms for Equational Programming: Instances, Unification and Narrowing.

Marco Bellia, Michele Bugliesi, M. Eugenia Occhiuto

Proceedings of the CAAP '90, 1990

1988

Logic and Functional Programming by Retractions: Operational Semantics.

Marco Bellia

RAIRO Theor. Informatics Appl., 1988

Logic and Functional Programming by Retractions.

Marco Bellia

RAIRO Theor. Informatics Appl., 1988

1987

Retractions: A Functional Paradigm for Logic Programming.

Marco Bellia

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

A Two-Level Approach to Logic plus Functional Programming Integration.

Marco Bellia, Pier Giorgio Bosco, Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi

Proceedings of the PARLE, 1987

1986

The Relation between Logic and Functional Languages: A Survey.

Marco Bellia, Giorgio Levi

J. Log. Program., 1986

LEAF: A Language which Integrates Logic, Equations and Functions.

Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli

Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986

1984

On the Integration of Logic Programming and Functional Programming.

Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli

Proceedings of the 1984 International Symposium on Logic Programming, 1984

A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language.

Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli

Proceedings of the Implementations of Prolog. , 1984

1983

On Compiling Prolog Programs on Demand Driven Architectures.

Marco Bellia, Giorgio Levi, Maurizio Martelli

Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983

1982

Applicative communicating processes in first order logic.

Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli

Proceedings of the International Symposium on Programming, 1982

1977

Distributed Control, Modularity and Data Types in a Simple Parallel Language.

Marco Bellia, Giorgio Levi

Proceedings of the International Computing Symposium 1977, 1977