( en | de | ru )

 

Disambiguation of "Dietl, Werner"

Author of the publication

copydeleteadd this publication to your clipboard
Object Ownership in Program Verification.

, and . Aliasing in Object-Oriented Programming, volume 7850 of Lecture Notes in Computer Science, Springer, (2013)

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)A type system for regular expressions., , and . FTfJP@ECOOP, page 20-26. ACM, (2012)Key-dependency for a wavelet-based blind watermarking algorithm., , and . MM&Sec, page 175-179. ACM, (2004)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)Protection of wavelet-based watermarking systems using filter parametrization., , and . Signal Process., 83 (10): 2095-2116 (2003)EnerJ: approximate data types for safe and general low-power computation., , , , , and . PLDI, page 164-174. 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)Verification games: making verification fun., , , , , , , and . FTfJP@ECOOP, page 42-49. ACM, (2012)