#### Filter Results:

- Full text PDF available (74)

#### Publication Year

1977

2017

- This year (2)
- Last 5 years (6)
- Last 10 years (23)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

Fibonacci is a strongly typed, object-oricntcd database programming language with a new mechanism to model objects with roles. Traditional object-oriented programming languages do not have the possibility of changing dynamically the type of an object to model the bchaviour of real world entities which change their status over time. This is a severe… (More)

- Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
- LISP and Functional Programming
- 1992

We present a simple extension of typed λ-claculus where functions can be <italic>overloaded</italic> by adding different “pieces of code”. In short, the code of an overloaded function is formed by several branches of code; the branch to execute is chosen, when the function is applied, according to a particular selection rule which depends… (More)

- Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
- Inf. Comput.
- 2000

We add an operation of group creation to the typed πcalculus, where a group is a type for channels. Creation of fresh groups has the effect of statically preventing certain communications, and can block the accidental or malicious leakage of secrets. Intuitively, no channel belonging to a fresh group can be received by processes outside the initial scope of… (More)

- Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli
- ICALP
- 1999

An ambient is a named cluster of processes and subambi-ents, which moves as a group. The untyped ambient calculus is a process calculus in which ambients model a variety of concepts such as network nodes, packets, channels, and software agents. In these models, some am-bients are intended to be mobile, some immobile; and some are intended to be ephemeral,… (More)

- Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
- Inf. Comput.
- 2002

The ambient calculus is a concurrent calculus where the unifying notion of ambient is used to model many different constructs for distributed and mobile computation. We study a type system that describes several properties of ambient behavior. The type system allows ambients to be partitioned in disjoint sets (groups), according to the intended design of a… (More)

- Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
- IFIP TCS
- 2000

We add name groups and group creation to the typed ambient calculus. Group creation is surprisingly interesting: it has the eeect of statically preventing certain communications, and can thus block the accidental or malicious escape of capabilities that is a major concern in practical systems. Moreover, ambient groups allow us to reene our earlier work on… (More)

- Luca Cardelli, Giorgio Ghelli
- Mathematical Structures in Computer Science
- 2004

The ambient logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computation. The structural part of the ambient logic is, essentially, a logic of labeled trees, hence it turns out to be a good foundation for query languages for semistructured data, much in the same way as first order logic is a… (More)

- Antonio Albano, Giorgio Ghelli, Renzo Orsini
- The VLDB Journal
- 1995

Fibonacci is an object-oriented database programming language characterized by static and strong typing, and by new mechanisms for modeling data-bases in terms of objects with roles, classes, and associations. A brief introduction to the language is provided to present those features, which are particularly suited to modeling complex databases. Examples of… (More)

- Giorgio Ghelli, Christopher Ré, Jérôme Siméon
- EDBT Workshops
- 2006

As XML applications become more complex, there is a growing interest in extending XQuery with side-effect operations, notably XML updates. However, the presence of side-effects is at odds with XQuery’s declarative semantics which leaves evaluation order unspecified. In this paper, we define “XQuery!”, an extension of XQuery 1.0 that supports first-class XML… (More)

- Luca Cardelli, Philippa Gardner, Giorgio Ghelli
- ICALP
- 2002

Lu a Cardelli, Philippa Gardner and Giorgio Ghelli1 Abstra t. We study a spatial logi for reasoning about labelled dire ted graphs, and the appli ation of this logi to provide a query language for analysing and manipulating su h graphs. We give a graph des ription using onstru ts from pro ess algebra. We introdu e a spatial logi in order to reason lo ally… (More)