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

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

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

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

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

Last update Wed May 22 18:09:19 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page