Etude de la programmation logico-fonctionnelle concurrente

Abstract : The construction of programs needs the use of appropriate tools. A particular kind of tool are programming languages. Functional-logic programming languages are declarative languages based on the mathematical notions of functions and predicates. This solid formal foundation facilitates both, the concise description of systems at a level close to specifications, as well as the validation of programs. Nevertheless, the underlying concepts are insufficient for a convenient description of complex systems where interactivity, concurrency and distribution are needed. In order to model such systems, the notion of processes has been introduced. In the context of process algebrae, a process is characterised, informally, by the actions it might execute. However, languages based solely on process algebrae have to be extended with the notions of functions and predicates to avoid the encoding of these notions by means of processes. In this thesis, we study an integration of declarative and concurrent programming. We model a system as a set of components. Each component contains a declarative program, called store, and a set of processes which interact by the execution of actions and are described by means of process algebrae. Additionally, a component might contain definitions of further actions definable by the programmer. Interaction between components uses the same scheme: Processes can execute actions on the store of the other components. The different components of a system can use different declarative languages for the description of their stores, so that the translation of the communicated values is necessary. We give a compositional semantics and a secrecy analysis for the processes of a component and present the outlines of a prototype implementation.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00004582
Contributor : Thèses Imag <>
Submitted on : Sunday, February 8, 2004 - 12:55:01 AM
Last modification on : Thursday, January 11, 2018 - 6:14:32 AM
Long-term archiving on : Friday, April 2, 2010 - 8:15:15 PM

Identifiers

  • HAL Id : tel-00004582, version 1

Collections

IMAG | UGA

Citation

Wendelin Serwe. Etude de la programmation logico-fonctionnelle concurrente. Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2002. Français. ⟨tel-00004582⟩

Share

Metrics

Record views

444

Files downloads

621