-
Classical Call-by-need and duality
International audience -
Static Analysis of Java for Distributed and Parallel Programming
We investigate the use of static analysis for building distributed and parallel programs in Java. We first quickly explain a principle of seamless sequential,... -
A Component Calculus for Modeling the Olan Configuration Language
Components will certainly become a key concept for the next generation of software architectures because of their impact on effective software reuse, real... -
An Operational Semantics for the Eiffel Language
This paper formally describes the dynamic semantic of the Eiffel language (Eiffel parallel). Eiffel is a parallel extension of Eiffel language based on passive and... -
Derivation of Static Analysers of Functional Programs from Path Properties of...
We advocate the use of operational semantics as a basis for specifying program analyses for functional languages. We put forward a methodology for defining a static... -
Building SystemC waiting state automata
International audience -
The Tapenade Automatic Differentiation tool: principles, model, and specifica...
Tapenade is an Automatic Differentiation tool which, given a Fortran or C code that computes a function, creates a new code that computes its tangent or adjoint... -
Control-Driven Data Flow
This paper presents CDDF, a model of computation underpinning the formal semantics of a number of parallel programming languages. CDDF integrates control flow elements...
