( en | de | ru )

 

Disambiguation of "Dietl, Werner"

Author of the publication

copydeleteadd this publication to your clipboard
Reim & ReImInfer: checking and inference of reference immutability and method purity.

, , , and . OOPSLA, page 879-896. ACM, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Werner Dietl

Gerhard Dietl

Hubert Dietl

Ludwig Dietl

Heinrich Dietl

 

Other publications of authors with the same name

Java UI : Effects for Controlling UI Object Access., , , and . ECOOP, volume 7920 of Lecture Notes in Computer Science, page 179-204. Springer, (2013)Key-dependency for a wavelet-based blind watermarking algorithm., , and . MM&Sec, page 175-179. ACM, (2004)A type system for regular expressions., , and . FTfJP@ECOOP, page 20-26. ACM, (2012)Precise inference of expressive units of measurement types., , and . Proc. ACM Program. Lang., 4 (OOPSLA): 142:1-142:28 (2020)Least-Privilege Calls to Amazon Web Services., , and . IEEE Trans. Dependable Secur. Comput., 20 (3): 2085-2096 (May 2023)Verification games: making verification fun., , , , , , , and . FTfJP@ECOOP, page 42-49. ACM, (2012)Building and using pluggable type-checkers., , , , and . ICSE, page 681-690. ACM, (2011)EnerJ: Approximate Data Types for Safe and General Low-Power Computation, , , and . Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation, page 164--174. (June 2011)Tunable Static Inference for Generic Universe Types., , and . ECOOP, volume 6813 of Lecture Notes in Computer Science, page 333-357. Springer, (2011)Ensuring correct cryptographic algorithm and provider usage at compile time., , and . FTfJP@ECOOP, page 43-50. ACM, (2021)