Volume 315, Number 1, 5 May 2004
Michael W. Mislove
: Mathematical Foundations of Programming Semantics: Papers from MFPS 14 and MFPS 16.
: Real functions incrementally computable by finite automata.
: Encoding types in ML-like languages.
: Semantic models for information flow.
Volume 315, Number 2-3, 6 May 2004
Algebraic and Numerical Algorithms
, Karla Rost
: Split algorithms for skewsymmetric Toeplitz matrices with arbitrary rank profile.
: The aggregation and cancellation techniques as a practical tool for faster matrix multiplication.