Advances in Computing Science - ASIAN'97

1. An imperative language with read/write type modes

   • Paul Roe

   Pages 254-267

2. Efficient goal scheduling in a concurrent logic language using type-based dependency analysis

   • Kazuhiko Ohno, Masahiko Ikawa, Masahiro Goshimai, Shin-ichiro Mori, Hiroshi Nakashima, Shinji Tomita

   Pages 268-282

3. An analysis of divisibility orderings and recursive path orderings

   • Ryu Hasegawa

   Pages 283-296

4. Share-where maintenance in visual algebraic specifications

   • T. B. Dinesh, Susan M. Üsküdarh

   Pages 297-311

5. A fault tolerant broadcast scheme in star graphs

   • Satoshi Fujita

   Pages 312-320

6. Calculus of classical proofs I

   • Ken-etsu Fujita

   Pages 321-335

7. Tracing the evaluation of lazy functional languages: A model and its implementation

   • Richard Watson, Eric Salzman

   Pages 336-350

8. Basic results in automatic transformations of shared memory parallel programs into sequential programs

   • Yosi Ben-Asher, Esti Stein

   Pages 351-366

9. Recurrent oscillatory self-organizing map: Adapting to complex environmental periodicities

   • Mauri Kaipainen, Pantelis Papadopoulos, Pasi Karhu

   Pages 367-367

10. Basic binary decision diagram operations for image processing

    • C. Lursinsap, K. Kanchanasut, T. Siriboon

    Pages 368-370

11. Adaptive object storage system for mobile computing environments

    • Tatsuo Nakajima

    Pages 371-372

12. Structure of user interface module for practical internet messages

    • Morioka Tomohiko

    Pages 373-374

13. Software specification using LASS

    • Mihal Badonski, Mirjana Ivanovic, Zoran Budimac

    Pages 375-376

14. Nepi2: a two-level calculus for network programming based on the π-calculus

    • Eiichi Horital, Ken Mano

    Pages 377-378

15. On semantics of reactive rule-based systems

    • Man Lin, Jacek Malec, Simin Nadjm-Tehranil

    Pages 379-380

16. The non-standard semantics of Esterel

    • Jean-Raymond Gagné, John Plaice

    Pages 381-382

17. Hybrid support for lenient implementation of Array-comprehension

    • Shigeru Kusakabe, Kentaro Inenaga, Makoto Amamiya

    Pages 383-384

18. Solver for hierarchical CSP containing several constraint types and multi-output constraints

    • Mouhssine Bouxoubaa

    Pages 385-386

19. Back Matter

    PDF

This book constitutes the refereed proceedings of the Third Asian Computing Science Conference, ASIAN'97, held in Kathmandu, Nepal, in December 1997. The volume presents 24 revised full papers selected from a total of 94 submissions. Also included are an abstract of the keynote by Michael O. Rabin, two full invited presentations, and 10 posters. Among the areas addressed are programming languages, formal methods, mathematical logic, reasoning and constraints, real-time computing, networking, mobile computing, image processing, hardware verification, and parallel processing.

• Formal Reasoning
• Networking
• Processing
• Program Compilation
• Programming Languages
• Real-Time Systems
• Simulation
• embedded systems
• image analysis
• image processing
• programming
• programming language
• verification

Policies and ethics