The Chemical Approach to Typestate-Oriented Programming

Silvia Crafa, Luca Padovani. The Chemical Approach to Typestate-Oriented Programming. ACM Transactions on Programming Languages and Systems, 39(3), 2017. [doi]

Abstract

Abstract is missing.