Nordic Journal of Computing, Volume 5

Spring 1998, Volume 5, Number 1

Drago Krznaric and Christos Levcopoulos. Computing a Threaded Quadtree from the Delaunay Triangulation in linear time. Nordic Journal of Computing, 5(1):1-18, Spring 1998. Abstract, References, etc.
Ole-Johan Dahl, Olaf Owe, and Tore J. Bastiansen. Subtyping and Constructive Specification. Nordic Journal of Computing, 5(1):19-49, Spring 1998. Abstract, References, Citations, etc.
Bjørn Kristoffersen and Ole-Johan Dahl. On Introducing Higher Order Functions in ABEL. Nordic Journal of Computing, 5(1):50-69, Spring 1998. Abstract, References, Citations, etc.
Ricardo A. Baeza-Yates and Hector Soza-Pollman. Analysis of Linear Hashing Revisited. Nordic Journal of Computing, 5(1):70-85, Spring 1998. Abstract, References, etc.

Stefan Dobrev and Peter Ruzicka. On the Communication Complexity of Strong Time-Optimal Distributed Algorithms. Nordic Journal of Computing, 5(2):87-104, Summer 1998. Abstract, References, etc.
Peter Høyer and Kim S. Larsen. Parametic Permutation Routing via Matchings. Nordic Journal of Computing, 5(2):105-114, Summer 1998. Abstract, References, etc.
Joseph L. Ganley and Jeffrey S. Salowe. The Power-p Steiner Tree Problem. Nordic Journal of Computing, 5(2):115-127, Summer 1998. Abstract, References, etc.
Pinar Heggernes and Jan Arne Telle. Partitioning Graphs into Generalized Dominating Sets. Nordic Journal of Computing, 5(2):128-142, Summer 1998. Abstract, References, etc.
M. Johnsson, G. Magyar, and O. Nevalainen. On the Euclidean 3-Matching Problem. Nordic Journal of Computing, 5(2):143-171, Summer 1998. Abstract, References, etc.

Jan Kratochvíl, Andrzej Proskurowski, and Jan Arne Telle. On the Complexity of Graph Covering Problems. Nordic Journal of Computing, 5(3):173-195, Fall 1998. Abstract, References, etc.
Teofilo F. Gonzalez. Bounded Fan-Out Multimessage Multicasting. Nordic Journal of Computing, 5(3):196-213, Fall 1998. Abstract, References, etc.
Christian Mossin. Higher-Order Value Flow Graphs. Nordic Journal of Computing, 5(3):214-234, Fall 1998. Abstract, References, etc.
Jukka Paakki and Antti-Pekka Tuovinen. Source-to-Source Translation of Visual Languages. Nordic Journal of Computing, 5(3):235-264, Fall 1998. Abstract, References, etc.

Chris Hankin. Guest Editor's Foreword. Nordic Journal of Computing, 5(4):265-266, Winter 1998.
Martín Abadi and Andrew D. Gordon. A Bisimulation Method for Cryptographic Protocols. Nordic Journal of Computing, 5(4):267-303, Winter 1998. Abstract, References, etc.
Christian Fecht and Helmut Seidl. Propagating Differences: an Efficient New Fixpoint Algorithm for Distributive Constraint Systems. Nordic Journal of Computing, 5(4):304-329, Winter 1998. Abstract, References, etc.
K. Rustan M. Leino. Recursive Object Types in a Logic of Object-Oriented Programs. Nordic Journal of Computing, 5(4):330-360, Winter 1998. Abstract, References, etc.
John L. Ross and Mooly Sagiv. Building a Bridge between Pointer Aliases and Program Dependences. Nordic Journal of Computing, 5(4):361-386, Winter 1998. Abstract, References, etc.