Program analysis for concurrent programming

: consistency verification of STM Haskell programs using Moth

  • Aurélie Duc

Student thesis: Master typesMaster in Computer science

Abstract

Date of Award29 Aug 2014
Original languageEnglish
Awarding Institution
  • University of Namur
SupervisorWim VANHOOF (Supervisor)

Cite this

Program analysis for concurrent programming: consistency verification of STM Haskell programs using Moth
Duc, A. (Author). 29 Aug 2014

Student thesis: Master typesMaster in Computer science