Author pages are created from data sourced from our academic publisher partnerships and public sources.

- Publications
- Influence

Transformations of CLP Modules

- S. Etalle, M. Gabbrielli
- Mathematics, Computer Science
- Theor. Comput. Sci.
- 20 October 1996

We propose a transformation system for CLP programs and modules. The framework is inspired by the one of Tamaki and Sato for pure logic programs. However, the use of CLP allows us to introduce some… Expand

The s-Semantics Approach: Theory and Applications

- A. Bossi, M. Gabbrielli, G. Levi, M. Martelli
- Mathematics, Computer Science
- J. Log. Program.
- 31 January 1994

Abstract This paper is a general overview of an approach to the semantics of logic programs whose aim is to find notions of models which really capture the operational semantics, and are, therefore,… Expand

Replication vs. Recursive Definitions in Channel Based Calculi

- N. Busi, M. Gabbrielli, G. Zavattaro
- Computer Science
- ICALP
- 30 June 2003

We investigate the expressive power of two alternative approaches used to express infinite behaviours in process calculi, namely, replication and recursive definitions. These two approaches are… Expand

A Timed Concurrent Constraint Language

- F. D. Boer, M. Gabbrielli, M. Meo
- Computer Science
- Inf. Comput.
- 25 August 2000

Abstract We study a timed concurrent constraint language, called tccp , which is obtained by a natural timed interpretation of the usual ccp constructs: action-prefixing is interpreted as the… Expand

Comparing Recursion, Replication, and Iteration in Process Calculi

- N. Busi, M. Gabbrielli, G. Zavattaro
- Computer Science, Mathematics
- ICALP
- 12 July 2004

In [BGZ03] we provided a discrimination result between recursive definitions and replication in a fragment of CCS by showing that termination (i.e., all computations terminate) is undecidable in the… Expand

Programming Languages: Principles and Paradigms

- M. Gabbrielli, S. Martini
- Computer Science
- Undergraduate Topics in Computer Science
- 15 April 2010

This self-contained textbook assumes that the reader has some familiarity with one programming language, and adopts a simple yet rigorous approach. The author explains the main programming paradigms… Expand

A Compositional Semantics for Logic Programs

- A. Bossi, M. Gabbrielli, G. Levi, M. Meo
- Mathematics, Computer Science
- Theor. Comput. Sci.
- 21 November 1993

Bossi, A., M. Gabbrielli, G. Levi and M.C. Meo, A compositional semantics for logic programs, Theoretical Computer Science 122 (1994) 3-47. This paper considers open logic programs originally… Expand

SUNNY: a Lazy Portfolio Approach for Constraint Solving

- R. Amadini, M. Gabbrielli, J. Mauro
- Computer Science
- Theory Pract. Log. Program.
- 14 November 2013

Within the context of constraint solving, a portfolio approach allows one to exploit the synergy between different solvers in order to create a globally better solver. In this paper we present SUNNY:… Expand

Observable Semantics for Constraint Logic Programs

- M. Gabbrielli, G. Dore, G. Levi
- Computer Science, Mathematics
- J. Log. Comput.
- 1995

versions of the immediate consequence operators that we will introduce can be used for bottom-up abstract interpretation (i.e. xpoint computation of the abstract model). Abstract interpretation of… Expand

Modeling Answer Constraints in Constraint Logic Programs

- M. Gabbrielli, G. Levi
- Computer Science
- ICLP
- 1991

The constraint logic programming paradigm CLP(X) (CLP for short) has been proposed by Jaaar and Lassez in order to integrate a generic computational mechanism based on constraints with the logic… Expand

- 49
- 5