Skip to Main content Skip to Navigation

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 :
Complete list of metadata
Contributor : Abes Star :  Contact Connect in order to contact the contributor
Submitted on : Thursday, May 6, 2010 - 3:06:08 PM
Last modification on : Tuesday, October 19, 2021 - 1:38:48 PM
Long-term archiving on: : Friday, October 19, 2012 - 2:25:17 PM


Version validated by the jury (STAR)


  • HAL Id : tel-00481376, version 1



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⟩



Record views


Files downloads