Stateful manifest contracts

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 ◽

10.1145/3009837.3009875 ◽

2017 ◽

Author(s):

Taro Sekiyama ◽

Atsushi Igarashi

Download Full-text