prototypes
Detail
Publication date: 1 de June, 2021LOCKRES: a session type checker resolving deadlocks
SML/NJ prototype. The tool implements the algorithm presented in TGC 2013.
| URL | http://http://ctp.di.fct.unl.pt/~mgiunti/lockres/ |
|---|---|
| Date | 01/01/2013 |
SML/NJ prototype. The tool implements the algorithm presented in TGC 2013.
| URL | http://http://ctp.di.fct.unl.pt/~mgiunti/lockres/ |
|---|---|
| Date | 01/01/2013 |