Journal: Inf. Comput.

Volume 175, Issue 2

119 -- 145Corrado Priami. Language-based Performance Prediction for Distributed and Mobile Systems
146 -- 157Vladimir V. V yugin. Suboptimal Measures of Predictive Complexity for Absolute Loss Function
158 -- 170Manfred Göbel, Heinz Kredel. Reduction of Permutation-Invariant Polynomials - A Noncommutative Case Study
171 -- 181Edith Hemaspaandra, Lane A. Hemaspaandra, Marius Zimand. Almost-Everywhere Superiority for Quantum Polynomial Time
182 -- 213Sergei G. Vorobyov. The Undecidability of the First-Order Theories of One Step Rewriting in Linear Canonical Systems

Volume 175, Issue 1

1 -- 2Kim B. Bruce. Guest Editorial: Workshop on Foundations of Object-Oriented Languages
3 -- 33Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro. Aliasing Models for Mobile Objects
34 -- 49Atsushi Igarashi, Benjamin C. Pierce. Foundations for Virtual Types
50 -- 75Giorgio Ghelli. Foundations for Extensible Objects with Roles
76 -- 118Todd D. Millstein, Craig Chambers. Modular Statically Typed Multimethods