Abstract Interpretation-based Static Safety for Actors

Publication
Journal of Software (JSW)

Related