home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / research / japan / 322 < prev    next >
Encoding:
Internet Message Format  |  1992-12-22  |  3.9 KB
  1. Path: sparky!uunet!zaphod.mps.ohio-state.edu!swrinde!elroy.jpl.nasa.gov!ncar!noao!arizona!rick
  2. From: japancs@cs.arizona.edu (Japan CS Project)
  3. Newsgroups: comp.research.japan
  4. Subject: SIG Notes Series (SIGSF meeting held on September 8, 20, 1989)
  5. Message-ID: <28706@optima.cs.arizona.edu>
  6. Date: 21 Dec 92 21:45:30 GMT
  7. Sender: rick@cs.arizona.edu
  8. Lines: 106
  9. Approved: rick@cs.arizona.edu
  10.  
  11.  
  12. ------------------------------------------------------------------------
  13. SIG Notes Series (SIGSF meeting held on September 8, 20, 1989)
  14.  
  15.             published by
  16.  
  17. Information Processing Society of Japan  (in Japanese)
  18. ------------------------------------------------------------------------
  19.  
  20. [Collection and dissemination of this information supported in part by
  21.  ONR Grant N0001492J1737.]
  22.  
  23.  
  24. SIGSF Meeting Held on September 8,1989
  25.  
  26. Recursive Type Definition in Parametric Polymorphism
  27.      by R. HASEGAWA
  28.       Research Institute for Mathematical Science, Kyoto University,
  29.       Kitashirakawa-Oiwake, Sakyo, Kyoto 606, Japan
  30.  
  31. Object Storage System and Programming Transparency
  32.      by S. KONO, S. WATARI and M. TOKORO
  33.       Sony Computer Science Laboratory Inc., 3-14-13,
  34.        Higashigotanda, Shinagawa-ku, Tokyo 141, Japan
  35.  
  36. A Color based GHC Debugger
  37.      by M. MAEDA
  38.       IIAS-SIS Fujitsu Limited, 1-17-25 Shinkamata, Ohta-ku,
  39.       Tokyo 144, Japan
  40.  
  41. Design and Implementation of a Declarative Debugging System
  42.  for Functional Programs
  43.      by N. TAKAHASHI and S. ONO
  44.       NTT Software Laboratories, 3-9-11 Midoricho, Musashino-shi,
  45.       Tokyo 180, Japan
  46.  
  47. Computation Path Analysis with Path Valid ConditionQ
  48.  Generalized Approach for Strictness Analysis on Non-flat Domains
  49.      by S. ONO, M. OGAWA and Y. TSURUOKA
  50.       NTT Software Laboratories, 3-9-11 Midori-cho, Musashinoshi,
  51.       Tokyo 180, Japan
  52.  
  53. On PROS and CONS of Sharing Structures in Graph Reduction
  54.      by Y. SUGITO
  55.       Computer Language Section, Computer Science Division,
  56.       Electrotechnical Laboratory, l1-4, Umezono, Tsukuba Science
  57.       City, 305, Japan
  58.  
  59. SIGSF Meeting
  60. (Held on September 20, 1989)
  61.  
  62. Synthesis of TRS Programs
  63.      by A. TOGASHI, K. CHIBA(2) and S. NOGUCHI(3)
  64.       Research Institute of Electrical Communication, Tohoku University,
  65.       Katahira 2-1-1, Aoba, Sendai, 980 
  66.       (2)  Fuji Xerox Limited
  67.       (3)  Research Institute of Electrical Communication,
  68.            Tohoku University
  69.  
  70. Fast Knuth-Bendix Completion with 8 Term Rewriting System Compiler
  71.      by Y. TOYAMA
  72.       NTT Basic Research Laboratories, 39-11 Midori-cho, 
  73.       Musashino-shi, Tokyo 180, Japan
  74.  
  75. An Implementation of Immediate Reclamation Method for Garbage Cells
  76.      by K. INOUE and K. TORII
  77.       Department of Information and Computer Sciences, Faculty of
  78.       Engineering Science, Osaka University, Toyonaka, Osaka 560, Japan
  79.  
  80. Evaluation Partial Order and Synchronization Mechanisms in
  81.  Parallel Functional Programs
  82.      by M. TAKEICHI
  83.       Educational Computer Centre and Faculty of Engineering,
  84.       University of Tokyo, Bunkyku, Tokyo 113, Japan
  85.  
  86. A Complete E-unification by Metis"
  87.      by A. OHSUGA and K. SAKAI(2)
  88.       Systems & Software Engineering Lab. Toshiba Corp., 70,
  89.       Yanagi-cho, Saiwai-ku, Kawasaki, Kanagawa 210, Japan
  90.        (2)  Institute for New Generation Computer Technology
  91.  
  92. Constructive Programming based on SST/Lambda
  93.      by M. SATO and Y. KAMEYAMA
  94.       Researth Institute of Electrical Communication, Tohoku University,
  95.       2-11, Katahira, Aoba-ku, Sendai, 980, Japan
  96.  
  97. A Type System Based on Locally Small Fibration
  98.      by M. TAKEYAMA
  99.       Department of Information Science, University of Tokyo, 7-3-1 Hongo,
  100.       Bunkyoku, Tokyo, 113
  101.  
  102. An ML-theory is an INTERNAL CCC
  103.      by H. SATO
  104.       Department of Information Science, University of Tokyo, 7-3-1 Hongo,
  105.       Bunkyo-ku, Tokyo 113
  106.  
  107. Modularity of Simple Termination of Term Rewriting System
  108.      by M. KURIHARA and A. OHUCHI
  109.       Hokkaido University, Kita-13 Nishi-8, Kita-ku, Sapporo, 060, Japan
  110.  
  111. On the Church-Rosser Related Properties of Nonlinear Term Rewriting Systems
  112.      by M. OGAWA and S. ONO
  113.       NTT Software Laboratories, 3-9- 11 Midori-cho, Musashino-shi ,
  114.       Tokyo 180, Japan
  115.  
  116.  
  117.