Nordic Journal of Computing, Volume 7

Volume 7, Number 1, Spring 2000

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

Selected Papers of the Ninth Nordic Workshop on Programming Environment Research (NWPER'2000), May 28-30, 2000

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

Selected Papers of the Seventh Scandinavian Workshop on Algorithm Theory (SWAT'2000), July 5-7, 2000

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

Selected Papers of the European Symposium on Programming (ESOP'2000), March 25 - April 2, 2000

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

Last update Thu May 23 19:19:41 2013 CET by the DBLP Team —

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