Werner Dietl - SPLASH 2012

Write a Blog >>

Fri 19 - Fri 26 October 2012 Tucson, Arizona, United States

Registered user since Sun 11 Sep 2016

Name:Werner Dietl

Country:Canada

Affiliation:University of Waterloo, Canada

Personal website: https://ece.uwaterloo.ca/~wdietl/

Contributions

2012

SPLASH

Reim & ReImInfer: checking and inference of reference immutability and method purity

Show activities from other conferences

SPLASH 2012-profile
View general profile