Nordic Journal of Computing, Volume 6

Volume 6, Number 1, Spring 1999

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

Khalid Azim Mughal, Andreas L. Opdahl: Guest Editors' Foreword: Programming and Software Development Environment Research in the Nordic Countries. 1-3 BibTeX
Henrik Bærbak Christensen: The Ragnarok Software Development Environment. 4-21 BibTeX
Kåre Kjelstrøm, Peter Petersen: A CASE Tool for COM Development. 22-35 BibTeX
Elizabeth Bjarnason, Görel Hedin, Klas Nilsson: Interactive Language Development for Embedded Systems. 36-54 BibTeX
Henrik Røn: An Overview of a Dynamic Programming Environment Based on Extensibility. 55-71 BibTeX
Erik Ernst: Dynamic Inheritance in a Statically Typed Language Nordic Journal of Computing. 72-92 BibTeX
Maarit Harsu: Translation of Conditional Compilation Nordic Journal of Computing. 93-109 BibTeX
Kurt Nørmark, Lars Iversen, Per Madsen: Animation and Presentation Tools for Object-Oriented Design. 110-128 BibTeX
Lars Bendix, Ulf Asklund: Summary of the Subworkshop on Change Management. 129- BibTeX

Jens Lagergren, Peter Bro Miltersen: Guest Editors' Foreword. 135-136 BibTeX
Nora Sleumer: Output-Sensitive Cell Enumeration in Hyperplane Arrangements. 137-161 BibTeX
Steven S. Seiden: Randomized Online Multi-Threaded Paging. 148-161 BibTeX
Venkatesh Raman, Sarnath Ramnath: Improved Upper Bounds for Time-Space Trade-offs for Selection. 162-180 BibTeX
Piotr Berman, Chris Coulston: Speed is More Powerful than Clairvoyance. 181-193 BibTeX
Sandeep Sen, Neelima Gupta: Distribution-Sensitive Algorithms. 194- BibTeX

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

Kaisa Sere: Guest Editor's Foreword. 213-214 BibTeX
Paolo Ciancarini, Andrea Omicini, Franco Zambonelli: Coordination Technologies for Internet Agents. 215-240 BibTeX
Magne Haveraaen, Helmer André Friis, Tor Arne Johansen: Formal Software Engineering for Computational Modelling. 241-270 BibTeX
Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi: Clock Difference Diagrams. 271-298 BibTeX
Carl Johan Lillieroth, Satnam Singh: Formal Verification of FPGA Cores. 299-319 BibTeX
Elena Troubitsyna: Reliability Assessment through Probabilistic Refinement. 320-342 BibTeX
Tarmo Uustalu, Varmo Vene: Mendler-Style Inductive Types, Categorically. 343- BibTeX

Min-Shiang Hwang: A Dynamic Key Generation Scheme for Access Control in a Hierarchy. 363-371 BibTeX
Sofiène Tahar, Paul Curzon: Comparing HOL and MDG: a Case Study on the Verification of an ATM Switch Fabric. 372-402 BibTeX
Jesper Larsen, Ib Pedersen: Experiments with the Auction Algorithm for the Shortest Path Problem. 403-421 BibTeX
Maria I. Andreou, Stavros D. Nikolopoulos: NC Coloring Algorithms for Permutation Graphs. 422-445 BibTeX
Drago Krznaric, Christos Levcopoulos, Bengt J. Nilsson: Minimum Spanning Trees in d Dimensions. 446-461 BibTeX
Olivier Devillers, Asish Mukhopadhyay: Finding an Ordinary Conic and an Ordinary Hyperplane. 462-468 BibTeX
Joachim Gudmundsson, Christos Levcopoulos: A Fast Approximation Algorithm for TSP with Neighborhoods. 469- BibTeX