Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Peter Müller, Er J. Summers
Abstract. The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
Abstract PROTECTION OF WAVELET-BASED WATERMARKING SYSTEMS USING FILTER PARAMETRIZATION (2009)
Werner Dietl, Peter Meerwald, Andreas Uhl
We discuss wavelet filter parametrization as a means to add security to wavelet based watermarking schemes. It turns out that our proposed scheme is resistant to unauthorized detection and...
Maintaining Invariants Through Object Coupling Mechanisms................... 3 (2008)
Tobias Wrigstad (editor, Dave Clarke (cwi, Werner Dietl, Johan Östlund, Arsenii Rudich, Erik Ernst, ...
Abstract 2007 State of the Universe Address (2008)
This position paper summarizes recent developments related to the Universe type system and suggests directions for future work. 1. Universe Type System The Universe type system is an ownership type...
UJ: Type Soundness for Universe Types (2008)
Dave Cunningham, Adrian Francalanza, Sophia Drossopoulou, Werner Dietl, Peter Müller
Universe types characterise aliasing in object oriented programming languages and are used to reason modularly about programs. In this report we formalise prior work by Müller and Poetzsch-Heffter,...
Abstract PROTECTION OF WAVELET-BASED WATERMARKING SYSTEMS USING FILTER PARAMETRIZATION (2008)
Werner Dietl, Peter Meerwald, Andreas Uhl
We discuss wavelet filter parametrization as a means to add security to wavelet based watermarking schemes. It turns out that our proposed scheme is resistant to unauthorized detection and...
Runtime universe type inference (2007)
The Universe type system is an ownership type system for objectoriented languages that enforces the owner-as-modifier discipline. One strength of the Universe type system is its low annotation...
Runtime universe type inference (2007)
The Universe type system is an ownership type system for objectoriented languages that enforces the owner-as-modifier discipline. One strength of the Universe type system is its low annotation...
Formalization of Generic Universe Types (2006)
Werner Dietl, Sophia Drossopoulou, Peter Müller
Ownership is a powerful concept to structure the object store and to control aliasing and modifications of objects. This paper presents an ownership type system for a Java-like programming language...
Universes: Lightweight Ownership for JML (2005)
Werner Dietl, Peter Müller, Eth Zurich
this article as follows: Werner Dietl, Peter Muller: Universes: Lightweight Ownership for JML, in Journal of Object Technology, vol. 4, no. 8, 2005, pages 5--32, http://www.jot.fm/issues/issues 2005...
Exceptions in Ownership Type Systems (2004)
Ownership type systems are used to structure the object store into contexts and to restrict references between contexts. How to handle exceptions in these type systems has not been described in the...