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

• 2012

  Verifying the Consistency of Transactional Variables in STM Haskell

  Demeyer, R. & Vanhoof, W., 2012.

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