Développement systématique et sûreté d’exécution en programmation parallèle structurée

Abstract : Finding a good paradigm to represent parallel programming in a simple and efficient way is a challenge currently faced by computer science research, mainly due to the evolution of machine architectures towards multi-core processors. BSML is a high level, structured parallel programming language that takes part in the research in an original way. By building upon existing work, this thesis extends the language and makes it more general, simple and usable with added imperative features such as references and exceptions, a specific syntax, etc. The existing formal and safety characteristics of the language (semantics, type system...) are preserved and extended. A major application is given in the form of a methodology for the development of fully proved parallel programs
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00481376
Contributor : Abes Star <>
Submitted on : Thursday, May 6, 2010 - 3:06:08 PM
Last modification on : Wednesday, December 19, 2018 - 3:50:03 PM
Long-term archiving on : Friday, October 19, 2012 - 2:25:17 PM

File

2009PEST0004_0_1.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00481376, version 1

Collections

Citation

Louis Gesbert. Développement systématique et sûreté d’exécution en programmation parallèle structurée. Autre [cs.OH]. Université Paris-Est, 2009. Français. ⟨NNT : 2009PEST0004⟩. ⟨tel-00481376⟩

Share

Metrics

Record views

395

Files downloads

204