Nordic Journal of Computing, Volume 9

Spring 2002, Volume 9, Number 1

• M. Goldberg and M. Torgersen. How to Circumvent Church Numerals. Nordic Journal of Computing, 9(1):1, Spring 2002.
• G. Narasimhan and M. Smid. Approximation Algorithms for the Bottleneck Stretch Factor Problem. Nordic Journal of Computing, 9(1):13, Spring 2002.
• M. Hammar, B. J. Nilsson and S. Schuierer. Improved Exploration of Rectilinear Polygons. Nordic Journal of Computing, 9(1):32, Spring 2002.
• M. Crochemore, C. Iliopoulos, C. Makris, W. Rytter, A. Tsakalidis and K. Tsichlas. Approximate String Matching with Gaps. Nordic Journal of Computing, 9(1):54, Spring 2002.

Note:

• K. N. Klipsch and D. S. Wise. Blood from Dahm's Turnip. Nordic Journal of Computing, 9(1):66, Spring 2002.

Summer 2002, Volume 9, Number 2

Selected Papers of the Eight International Workshop on Expressiveness in Concurrency (EXPRESS'01), August 20, 2001:

• L. Aceto and P. Panangaden. Guest Editors' Foreword. Nordic Journal of Computing, 9(2):69, Summer 2002.
• R. M. Amadio and C. Meyssonnier. On Decidability of the Control Reachability Problem in the Asynchronous pi-Calculus. Nordic Journal of Computing, 9(2):70, Summer 2002.
• J. C. Bradfield and S. B. Fröschle. Independence-Friendly Modal Logic and True Concurrency. Nordic Journal of Computing, 9(2):102, Summer 2002.
• A. Labroue and Ph. Schnoebelen. An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems. Nordic Journal of Computing, 9(2):118, Summer 2002.
• M. Nielsen, C. Palamidessi and F. D. Valencia. Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. Nordic Journal of Computing, 9(2):145, Summer 2002.

Fall 2002, Volume 9, Number 3

Selected Papers of the Tenth Nordic Workshop on Programming Environment Research (NWPER'2002), August 18-20, 2002:

• K. Østerbye. Guest Editor's Foreword. Nordic Journal of Computing, 9(3):189, Fall 2002.
• E. Ernst. Safe Dynamic Multiple Inheritance. Nordic Journal of Computing, 9(3):191, Fall 2002.
• T. Vestdam. Elucidative Program Tutorials. Nordic Journal of Computing, 9(3):209, Fall 2002.
• E. Arisholm, D. I. K. Sjøberg, G. J. Carelius and Y. Lindsjørn. A Web-Based Support Environment for Software Engineering Experiments. Nordic Journal of Computing, 9(3):231, Fall 2002.
• I. Hammouda and K. Koskimies. A Pattern-Based J2EE Application Development Environment 248 Nordic Journal of Computing, 9(3):248, Fall 2002.
• L. Bendix and G. Hedin. Summary of the Subworkshop on Extreme Programming. Nordic Journal of Computing, 9(3):261, Fall 2002.

Winter 2002, Volume 9, Number 4

Selected Papers of the Thirteenth Nordic Workshop on Programming Theory (NWPT'01), October 10-12, 2001:

• M. Haveraaen and M. R. Hansen. Guest Editors' Foreword. Nordic Journal of Computing, 9(4):267, Winter 2002.
T. Amnell, E. Fersman, P. Pettersson, H. Sun and W. Yi. Code Synthesis for Timed Automata. Nordic Journal of Computing, 9(4):269, Winter 2002.
• J. Hoenicke and E.-R. Olderog. CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time. Nordic Journal of Computing, 9(4):301, Winter 2002.
• F. Nielson, H. Seidl and H. Riis Nielson. A Succinct Solver for ALFP. Nordic Journal of Computing, 9(4):335, Winter 2002.
• E. G. Wagner. Algebraic Specifications: some old history and new thoughts. Nordic Journal of Computing, 9(4):373, Winter 2002.
• H. Wehrheim. Relating State-based and Behaviour-oriented Subtyping. Nordic Journal of Computing, 9(4):405, Winter 2002.

Shortcuts: