Werner Dietl

Werner Dietl

University of Waterloo - Waterloo / Canada
Engineering & Technology / Electrical & Electronic Engineering
AD Scientific Index ID: 652981
person_outline Werner Dietl's MOST POPULAR ARTICLES
1-) EnerJ: Approximate data types for safe and general low-power computation ACM SIGPLAN Notices 46 (6), 164-174, 2011
2-) JML reference manual
3-) Universes: Lightweight ownership for JML Journal of Object Technology 4 (8), 5-32, 2005
4-) Building and using pluggable type-checkers Proceedings of the 33rd International Conference on Software Engineering …, 2011
5-) Generic universe types European Conference on Object-Oriented Programming, 28-53, 2007