Program Analysis to Support Concurrent Programming in Functional Languages

Résultat de recherche

Résultat de recherche par an 2011 2011 2012 2013 2013

• 2 Article dans les actes d'une conférence/un colloque
• 1 Résumé
• 1 Papier

Résultat de recherche par an

Résultat de recherche par an

Résultats de recherche

• 2013

  Verification of Transactions in STM Haskell using Contracts and Program Transformation

  Demeyer, R. & Vanhoof, W., 2013, p. 47-51.

  Résultats de recherche: Contribution à un événement scientifique (non publié) › Résumé › Revue par des pairs