Differential Logic Programs: Programming Methodologies and Semantics (2009)
A. Bossi, M. Bugliesi, M. Gabbrielli, G. Levi, M. C. Meo
We introduce the notion of differential logic programs and we define an operator for composing them in a hierarchical fashion. The semantics of this composition operator is reminiscent the semantics...
M. Bugliesi, Viale Aldo Moro, E. Lamma, P. Mello
We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for Partial Evaluation to be applied to a wide class of structuring...
Differential Logic Programs: Programming Methodologies and Semantics (2007)
A. Bossi, M. Bugliesi, M. Gabbrielli, G. Levi, M. C. Meo
We introduce the notion of differential logic programs and we define an operator for composing them in a hierarchical fashion. The semantics of this composition operator is reminiscent the semantics...
Differential Logic Programs: Semantics and Programming Methodologies (2007)
A. Bossi, A. Bossi, M. Bugliesi, M. Bugliesi, M. Gabbrielli, M. Gabbrielli, ...
The purpose of this paper is to make a contribution towards the integration of Object-Orientation and logic programming. We introduce the notion of differential programs, logic programs annotated to...
A Calculus of Bounded Capacities (2003)
F. Barbanera, M. Bugliesi, M. Dezani-ciancaglini, V. Sassone
Abstract. Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the...
A Calculus of Bounded Capacities (2003)
F. Barbanera, M. Bugliesi, M. Dezani-ciancaglini, V. Sassone
Abstract. Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the...
A Calculus of Bounded Capacities (2003)
F. Barbanera, M. Bugliesi, M. Dezani-ciancaglini, V. Sassone
Abstract. Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the...
A Calculus of Bounded Capacities (2003)
F. Barbanera, M. Bugliesi, M. Dezani-ciancaglini, V. Sassone
Abstract. Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the...
A Calculus of Bounded Capacities (2003)
F. Barbanera, M. Bugliesi, V. Sassone
Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an...
A Calculus of Bounded Capacities (2003)
F. Barbanera, M. Bugliesi, M. Dezani-ciancaglini, V. Sassone
Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an...
Object Calculi in Linear Logic (2000)
M. Bugliesi, G. Delzanno, L. Liquori, M. Martelli
Several calculi of objects have been studied in the recent literature, that support the central features of object-based languages: messages, inheritance, dynamic dispatch, object update and...
Object calculi in linear logic (2000)
Bugliesi, M, Delzanno, G, Liquori, L, Martelli, M
Several calculi of objects have been studied in the recent literature, that support the central features of object-based languages: messages, inheritance, dynamic dispatch, object update and...
A Linear Logic Calculus of Objects (1996)
M. Bugliesi, G. Delzanno, L. Liquori, M. Martelli
. This paper presents a linear logic programming language, called O \Gammaffi , that gives a complete and logically sound account of an object calculus with inheritance and override. This language...
Differential Logic Programming (1993)
A. Bossi, M. Bugliesi, M. Gabbrielli, G. Levi, M. C. Meo
In this paper we define a compositional semantics for a generalized composition operator on logic programs. Static and dynamic inheritance as well as composition by union of clauses can all be...
A declarative view of inheritance in logic programming (1992)
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by earlier work on a...
Partial evaluation in Prolog: Some improvements about cut (1989)
Two main aspects of Partial Evaluation for Prolog programs are considered: treatment of cuts and control of recursion. The analysis about cut is exhaustive: we consider occurrences of cut within both...