enter search term and/or author name
Floyd--Hoare logic is a foundation of axiomatic semantics of classical programs, and it provides effective proof techniques for reasoning about correctness of classical programs. To offer similar techniques for quantum program verification and to...
Separating ownership topology and encapsulation with generic universe types
Werner Dietl, Sophia Drossopoulou, Peter Müller
Article No.: 20
Ownership is a powerful concept to structure the object store and to control aliasing and modifications of objects. This article presents an ownership type system for a Java-like programming language with generic types.
Like our earlier...
Fast interprocedural linear two-variable equalities
Andrea Flexeder, Markus Müller-olm, Michael Petter, Helmut Seidl
Article No.: 21
In this article we provide an interprocedural analysis of linear two-variable equalities. The novel algorithm has a worst-case complexity of 𝒪(n ⋅ k4), where k is the number of variables and n is...