Nordic Journal of Computing, Volume 5

Volume 5, Number 1, Spring 1998

Drago Krznaric, Christos Levcopoulos: Computing a Threaded Quadtree from the Delaunay Triangulation in linear Time. BibTeX
Ole-Johan Dahl, Olaf Owe, Tore J. Bastiansen: Subtyping and Constructive Specification. BibTeX
Bjørn Kristoffersen, Ole-Johan Dahl: On Introducing Higher Order Functions in ABEL. BibTeX
Ricardo A. Baeza-Yates, Hector Soza-Pollman: Analysis of Linear Hashing Revisited. BibTeX

Stefan Dobrev, Peter Ruzicka: On the Communication Complexity of Strong Time-Optimal Distributed Algorithms. 87-104 BibTeX
Peter Høyer, Kim S. Larsen: Parametric Permutation Routing via Matchings. 105-114 BibTeX
Joseph L. Ganley, Jeffrey S. Salowe: The Power-p Steiner Tree Problem. 115-127 BibTeX
Pinar Heggernes, Jan Arne Telle: Partitioning Graphs into Generalized Dominating Sets. 128-142 BibTeX
Mika Johnsson, Gábor Magyar, Olli Nevalainen: On the Euclidean 3-Matching Problem. 143- BibTeX

Jan Kratochvíl, Andrzej Proskurowski, Jan Arne Telle: On the Complexity of Graph Covering Problems. 173-195 BibTeX
Teofilo F. Gonzalez: Bounded Fan-Out Multimessage Multicasting. 196-213 BibTeX
Christian Mossin: Higher-Order Value Flow Graphs. 214-234 BibTeX
Jukka Paakki, Antti-Pekka Tuovinen: Source-to-Source Translation of Visual Languages. 235- BibTeX

Selected Papers of the European Symposium on Programming (ESOP'98), April 2-3, 1998

Chris Hankin: Guest Editor's Foreword. 265-266 BibTeX
Martín Abadi, Andrew D. Gordon: A Bisimulation Method for Cryptographic Protocols. 267- BibTeX
Christian Fecht, Helmut Seidl: Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems. 304-329 BibTeX
K. Rustan M. Leino: Recursive Object Types in a Logic of Object-Oriented Programs. 330-360 BibTeX
John L. Ross, Shmuel Sagiv: Building a Bridge between Pointer Aliases and Program Dependences. 361- BibTeX