( en | de | ru )

 

Disambiguation of "Dietl, Werner"

Author of the publication

copydeleteadd this publication to your clipboard
Scalable and Precise Refinement Types for Imperative Languages.

, , , and . iFM, volume 14300 of Lecture Notes in Computer Science, page 377-383. Springer, (2023)

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

Ludwig Dietl

Heinrich Dietl

Wolfgang Dietl

Helmut 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)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)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)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)Ensuring correct cryptographic algorithm and provider usage at compile time., , and . FTfJP@ECOOP, page 43-50. ACM, (2021)