ACM DL

Programming Languages and Systems (TOPLAS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 33 Issue 6, December 2011

Editorial note
Jens Palsberg
Article No.: 18
DOI: 10.1145/2049706.2049707

Floyd--hoare logic for quantum programs
Mingsheng Ying
Article No.: 19
DOI: 10.1145/2049706.2049708

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
DOI: 10.1145/2049706.2049709

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
DOI: 10.1145/2049706.2049710

In this article we provide an interprocedural analysis of linear two-variable equalities. The novel algorithm has a worst-case complexity of 𝒪(nk4), where k is the number of variables and n is...