19 datasets found

International audience

These are course notes on programming language formal descriptions and their use to build programming environments and to prove properties of these languages.

The Event-based Aspect-Oriented Programming model (EAOP) makes it possible to define pointcuts in terms of sequences of events emitted by the base program. The current...

We study conditions under which the Euclidean division can be implemented using a floating-point division followed by a floor function. We show that under reasonable...

We study a behavioural theory of Cardelli and Gordon's Mobile Ambients, a process calculus for modelling mobile agents in wide-area networks, focussing on reduction...

This paper studies key issues for distributed programming in high-level languages. We discuss the design space and describe an experimental language, Acute, which we...

Aspect-Oriented Programming (AOP) is a promising approach to modularizing software in presence of crosscutting concerns. Numerous proposals for AOP have been...

Some environments require several compilers, for instance one for the operating system, supporting the full C/C++ norm, and one for the applications, potentially...

The active object programming model is particularly adapted to easily program distributed objects: it separates objects into several activities, each manipulated by a...

This paper presents CDDF, a model of computation underpinning the formal semantics of a number of parallel programming languages. CDDF integrates control flow elements...

Position Paper

The problem of how to transform large data trees received on streams with a much smaller memory is still an open challenge despite of a decade of research on XML....

International audience

International audience

20 pages.

writing completed in april 2013

The thesis applies the ICC tecniques to the probabilistic polinomial complexity classes in order to get an implicit characterization of them. The main contribution...

International audience

In the context of the EU FP7 project ''OSSMETER'' we are developing an infra-structure for measuring source code. The goal of OSSMETER is to obtain insight in the...