Anders S. Henriksen

  • Citations Per Year
Learn More
This paper proposes a new theory of multiparty session types with assertions based on symmetric sum types and demonstrates its applicability to collaborative workflows in healthcare systems for clinical practice guidelines (CPGs). The theory leads to a model-driven implementation of a prototype tool for CPGs which automatically generates deadlock-free(More)
Many interesting questions about the software quality of a code base can only be answered adequately if fine-grained information about the evolution of quality metrics over time and the contributions of individual developers is known. We present an approach for tracking static analysis violations (which are often indicative of defects) over the revision(More)
  • 1