#### Filter Results:

- Full text PDF available (75)

#### Publication Year

1980

2017

- This year (1)
- Last 5 years (19)
- Last 10 years (65)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Roberto Barbuti, Roberto Giacobazzi
- Sci. Comput. Program.
- 1992

- Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi
- ACM Trans. Program. Lang. Syst.
- 1993

The theory of abstract interpretation provides a formal framework to develop advanced dataflow analysis tools. The idea is to define a nonstandard semantics which is able to compute, in finite time, an approximated model of the program. In this paper, we define an abstract interpretation framework based on a fixpoint approach to the semantics. This leads to… (More)

- Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini
- J. Log. Program.
- 1990

D A transformation technique is introduced which, given the Horn-clause definitions of a set of predicates p,, synthesizes the definitions of new predicates pi which can be used, under a suitable refutation procedure, to compute the finite failure set of pi. This technique exhibits some computational advantages, such as the possibility of computing… (More)

This paper proposes to specify semantic de nitions for logic programming languages such as Prolog in terms of an oracle which speci es the control strategy and identi es which clauses are to be applied to resolve a given goal. The approach is quite general. It is applicable to Prolog to specify both operational and declarative semantics as well as other… (More)

- Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
- Fundam. Inform.
- 2006

The paper presents a new calculus suitable to describe microbiological systems and their evolution. We use the calculus to model interactions among bacteria and bacteriophage viruses, and to reason on their properties.

We describe the Calculus of Looping Sequences (CLS) which is suitable for modeling microbiological systems and their evolution. We present two extensions, CLS with links (LCLS) and Stochastic CLS. LCLS simplifies the description of protein interaction at a lower level of abstraction, namely at the domain level. Stochastic CLS allows us to describe… (More)

- Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi
- JTASPEFT/WSA
- 1991

The goal of this paper is to construct a semantic basis for the abstract interpretation of Prolog programs. Prolog is a well-known logic programming language which applies a depthrst search strategy in order to provide a practical approximation of Horn clause logic. While pure logic programming has clean xpoint, model-theoretic and operational semantics the… (More)

- Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
- Electr. Notes Theor. Comput. Sci.
- 2009

The Calculus of Looping Sequences (CLS) enables the description of biological systems and of their evolution. This paper presents the Spatial CLS, an extension of CLS that allows the description of the position of biological elements, and of the space they take up in a 2D/3D space. The elements may move autonomously during the passage of time, and may… (More)

- Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco
- Inf. Process. Lett.
- 2002

- Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini
- TAPSOFT, Vol.2
- 1987