Nordic Journal of Computing, Volume 6

Spring 1999, Volume 6, Number 1

Selected Papers of the Eighth Nordic Workshop on Programming Environment Research (NWPER'98), August 21-23, 1998

• Khalid A. Mughal and Andreas L. Opdahl. Guest Editors' Foreword: Programming and Software Development Environment Research in the Nordic Countries. Nordic Journal of Computing, 6(1):1-3, Spring 1999.

• Henrik Bærbak Christensen. The Ragnarok Software Development Environment. Nordic Journal of Computing, 6(1):4-21, Spring 1999. Abstract, References, etc.

• Kåre Kjelstrøm and Peter Petersen. A CASE Tool for COM Development. Nordic Journal of Computing, 6(1):22-35, Spring 1999. Abstract, etc.

• Elizabeth Bjarnason, Görel Hedin, and Klas Nilsson. Interactive Language Development for Embedded Systems. Nordic Journal of Computing, 6(1):36-54, Spring 1999. Abstract, References, etc.

• Henrik Røn. An Overview of a Dynamic Programming Environment Based on Extensibility. Nordic Journal of Computing, 6(1):55-71, Spring 1999. Abstract, References, etc.

• Erik Ernst. Dynamic Inheritance in a Statically Typed Language. Nordic Journal of Computing, 6(1):72-92, Spring 1999. Abstract, References, etc.

• Maarit Harsu. Translation of Conditional Compilation. Nordic Journal of Computing, 6(1):93-109, Spring 1999. Abstract, References, etc.

• Kurt Nørmark, Lars Iversen, and Per Madsen. Animation and Presentation Tools for Object-Oriented Design. Nordic Journal of Computing, 6(1):110-128, Spring 1999. Abstract, References, etc.

• Lars Bendix and Ulf Asklund. Summary of the Subworkshop on Change Management. Nordic Journal of Computing, 6(1):129-133, Spring 1999.

Summer 1999, Volume 6, Number 2

Selected Papers of the Sixth Scandinavian Workshop on Algorithm Theory (SWAT'98), July 8-10, 1998

• Jens Lagergren and Peter Bro Miltersen. Guest Editors' Foreword. Nordic Journal of Computing, 6(2):135-136, Summer 1999.

• Nora H. Sleumer. Output-Sensitive Cell Enumeration in Hyperplane Arrangements. Nordic Journal of Computing, 6(2):137-147, Summer 1999. Abstract, References, etc.

• Steven S. Seiden. Randomized Online Multi-Threaded Paging. Nordic Journal of Computing, 6(2):148-161, Summer 1999. Abstract, References, etc.

• Venkatesh Raman and Sarnath Ramnath. Improved Upper Bounds for Time-Space Trade-offs for Selection. Nordic Journal of Computing, 6(2):162-180, Summer 1999. Abstract, References, etc.

• Piotr Berman and Chris Coulston. Speed is More Powerful than Clairvoyance. Nordic Journal of Computing, 6(2):181-193, Summer 1999. Abstract, References, etc.

• Sandeep Sen and Neelima Gupta. Distribution-Sensitive Algorithms. Nordic Journal of Computing, 6(2):194-211, Summer 1999. Abstract, References, etc.

Fall 1999, Volume 6, Number 3

Selected Papers of the Tenth Nordic Workshop on Programming Theory (NWPT'98), October 14-16, 1998

• Kaisa Sere. Guest Editor's Foreword. Nordic Journal of Computing, 6(3):213-214, Fall 1999.

• Paolo Ciancarini, Andrea Omicini, and Franco Zambonelli. Coordination Technologies for Internet Agents. Nordic Journal of Computing, 6(3):215-240, Fall 1999. Abstract, References, etc.

• Magne Haveraaen, Helmer André Friis, and Tor Arne Johansen. Formal Software Engineering for Computational Modelling. Nordic Journal of Computing, 6(3):241-270, Fall 1999. Abstract, References, etc.

• Kim G. Larsen, Justin Pearson, Carsten Weise, and Wang Yi. Clock Difference Diagrams. Nordic Journal of Computing, 6(3):271-298, Fall 1999. Abstract, References, etc.

• Carl Johan Lillieroth and Satnam Singh. Formal Verification of FPGA Cores. Nordic Journal of Computing, 6(3):299-319, Fall 1999. Abstract, References, etc.

• Elena A. Troubitsyna. Reliability Assessment through Probabilistic Refinement. Nordic Journal of Computing, 6(3):320-342, Fall 1999. Abstract, References, etc.

• Tarmo Uustalu and Varmo Vene. Mendler-Style Inductive Types, Categorically. Nordic Journal of Computing, 6(3):343-361, Fall 1999. Abstract, References, Citations, etc.

Winter 1999, Volume 6, Number 4

• Min-Shiang Hwang. A Dynamic Key Generation Scheme for Access Control in a Hierarchy. Nordic Journal of Computing, 6(4):363-371, Winter 1999. Abstract, References, etc.

• Sofiène Tahar and Paul Curzon. Comparing HOL and MDG: a Case Study on the Verification of an ATM Switch Fabric. Nordic Journal of Computing, 6(4):372-402, Winter 1999. Abstract, etc.

• Jesper Larsen and Ib Pedersen. Experiments with the Auction Algorithm for the Shortest Path Problem. Nordic Journal of Computing, 6(4):403-421, Winter 1999. Abstract, etc.

• Maria Andreou and Stavros D. Nikolopoulos. NC Coloring Algorithms for Permutation Graphs. Nordic Journal of Computing, 6(4):422-445, Winter 1999. Abstract, References, etc.

• Drago Krznaric, Christos Levcopoulos, and Bengt J. Nilsson. Minimum Spanning Trees in d Dimensions. Nordic Journal of Computing, 6(4):446-461, Winter 1999. Abstract, References, etc.

• Olivier Devillers and Asish Mukhopadhyay. Finding an Ordinary Conic and an Ordinary Hyperplane. Nordic Journal of Computing, 6(4):462-467, Winter 1999. Abstract, References, etc.

• Joachim Gudmundsson and Christos Levcopoulos. A Fast Approximation Algorithm for TSP with Neighborhoods. Nordic Journal of Computing, 6(4):469-488, Winter 1999. Abstract, References, etc.

Shortcuts: