Journal: Nord. J. Comput.

Volume 7, Issue 4

257 -- 0Gert Smolka. Guest Editor s Foreword
258 -- 289Martin Hofmann. A Type System for Bounded Space and Functional In-Place Update
290 -- 311Laurent Mauborgne. An Incremental Unique Representation for Regular Trees
312 -- 347François Pottier. A Versatile Constraint-Based Type Inference System
348 -- 374Claudio V. Russo. First-Class Structures for Standard ML
375 -- 0Helmut Seidl, Bernhard Steffen. Constraint-Based Inter-Procedural Analysis of Parallel Programs

Volume 7, Issue 3

149 -- 150Magnús M. Halldórsson. Guest Editor s Foreword
151 -- 163Rasmus Pagh. A Trade-Off for Worst-Case Efficient Dictionaries
164 -- 177Anne Berry, Jean Paul Bordat, Pinar Heggernes. Recognizing Weakly Triangulated Graphs by Edge Separability
178 -- 184Piotr Berman. A d/2 Approximation for Maximum Weight Independent Set in d-Claw Free Graphs
185 -- 203Srinivas Doddi, Madhav V. Marathe, S. S. Ravi, David Scot Taylor, Peter Widmayer. Approximation Algorithms for Clustering to Minimize the Sum of Diameters
204 -- 226Vincenzo Liberatore. Scheduling Jobs before Shut-Down
227 -- 240Pankaj K. Agarwal, Leonidas J. Guibas, Sariel Har-Peled, Alexander Rabinovitch, Micha Sharir. Penetration Depth of Two Convex Polytopes in 3D
241 -- 0Tetsuo Asano, Tomomi Matsui, Takeshi Tokuyama. Optimal Roundings of Sequences and Matrices

Volume 7, Issue 2

65 -- 66Andreas L. Opdahl, Dag I. K. Sjøberg. Guest Editors Foreword: Programming and Software Development Environment Research in the Nordic Countries
67 -- 86Eva Magnusson, Görel Hedin. Program Visualization Using Reference Attributed Grammars
87 -- 105Kurt Nørmark. Elucidative Programming
106 -- 125Thomas Vestdam. Documentation Threads - Presentation of Fragmented Documentation
126 -- 142Maarit Harsu. Identifying Object-Oriented Features from Procedural Software
143 -- 0Lars Bendix, Ulf Asklund, Jonas Persson. Summary of the Subworkshop on Change Management for Open Source Software

Volume 7, Issue 1

1 -- 13Juhani Karhumäki, Wojciech Plandowski, Wojciech Rytter. Pattern-Matching Problems for Two-Dimensional Images Described by Finite Automata
14 -- 31Hans Leo Bodlaender, Klaus Jansen. On the Complexity of the Maximum Cut Problem
32 -- 57Joachim Gudmundsson, Christos Levcopoulos. A Parallel Approximation Algorithm for Minimum Weight Triangulation
58 -- 0Michele Zito. Linear Time Maximum Induced Matching Algorithm for Trees