From: japancs@cs.arizona.edu (Japan CS Project)
Newsgroups: comp.research.japan
Subject: SIG Notes Series (SIGSF meeting held on September 8, 20, 1989)
Date: 21 Dec 92 21:45:30 GMT


------------------------------------------------------------------------
SIG Notes Series (SIGSF meeting held on September 8, 20, 1989)

            published by

Information Processing Society of Japan  (in Japanese)
------------------------------------------------------------------------

[Collection and dissemination of this information supported in part by
 ONR Grant N0001492J1737.]


SIGSF Meeting Held on September 8,1989

Recursive Type Definition in Parametric Polymorphism
	 by R. HASEGAWA
	  Research Institute for Mathematical Science, Kyoto University,
	  Kitashirakawa-Oiwake, Sakyo, Kyoto 606, Japan

Object Storage System and Programming Transparency
	 by S. KONO, S. WATARI and M. TOKORO
	  Sony Computer Science Laboratory Inc., 3-14-13,
 	  Higashigotanda, Shinagawa-ku, Tokyo 141, Japan

A Color based GHC Debugger
	 by M. MAEDA
	  IIAS-SIS Fujitsu Limited, 1-17-25 Shinkamata, Ohta-ku,
	  Tokyo 144, Japan

Design and Implementation of a Declarative Debugging System
 for Functional Programs
	 by N. TAKAHASHI and S. ONO
	  NTT Software Laboratories, 3-9-11 Midoricho, Musashino-shi,
	  Tokyo 180, Japan

Computation Path Analysis with Path Valid ConditionQ
 Generalized Approach for Strictness Analysis on Non-flat Domains
	 by S. ONO, M. OGAWA and Y. TSURUOKA
	  NTT Software Laboratories, 3-9-11 Midori-cho, Musashinoshi,
	  Tokyo 180, Japan

On PROS and CONS of Sharing Structures in Graph Reduction
	 by Y. SUGITO
	  Computer Language Section, Computer Science Division,
	  Electrotechnical Laboratory, l1-4, Umezono, Tsukuba Science
	  City, 305, Japan

SIGSF Meeting
(Held on September 20, 1989)

Synthesis of TRS Programs
	 by A. TOGASHI, K. CHIBA(2) and S. NOGUCHI(3)
	  Research Institute of Electrical Communication, Tohoku University,
	  Katahira 2-1-1, Aoba, Sendai, 980 
	  (2)  Fuji Xerox Limited
	  (3)  Research Institute of Electrical Communication,
           Tohoku University

Fast Knuth-Bendix Completion with 8 Term Rewriting System Compiler
	 by Y. TOYAMA
	  NTT Basic Research Laboratories, 39-11 Midori-cho, 
	  Musashino-shi, Tokyo 180, Japan

An Implementation of Immediate Reclamation Method for Garbage Cells
	 by K. INOUE and K. TORII
	  Department of Information and Computer Sciences, Faculty of
	  Engineering Science, Osaka University, Toyonaka, Osaka 560, Japan

Evaluation Partial Order and Synchronization Mechanisms in
 Parallel Functional Programs
	 by M. TAKEICHI
	  Educational Computer Centre and Faculty of Engineering,
	  University of Tokyo, Bunkyku, Tokyo 113, Japan

A Complete E-unification by Metis"
	 by A. OHSUGA and K. SAKAI(2)
	  Systems & Software Engineering Lab. Toshiba Corp., 70,
	  Yanagi-cho, Saiwai-ku, Kawasaki, Kanagawa 210, Japan
 	  (2)  Institute for New Generation Computer Technology

Constructive Programming based on SST/Lambda
	 by M. SATO and Y. KAMEYAMA
	  Researth Institute of Electrical Communication, Tohoku University,
	  2-11, Katahira, Aoba-ku, Sendai, 980, Japan

A Type System Based on Locally Small Fibration
	 by M. TAKEYAMA
	  Department of Information Science, University of Tokyo, 7-3-1 Hongo,
	  Bunkyoku, Tokyo, 113

An ML-theory is an INTERNAL CCC
	 by H. SATO
	  Department of Information Science, University of Tokyo, 7-3-1 Hongo,
	  Bunkyo-ku, Tokyo 113

Modularity of Simple Termination of Term Rewriting System
	 by M. KURIHARA and A. OHUCHI
	  Hokkaido University, Kita-13 Nishi-8, Kita-ku, Sapporo, 060, Japan

On the Church-Rosser Related Properties of Nonlinear Term Rewriting Systems
	 by M. OGAWA and S. ONO
	  NTT Software Laboratories, 3-9- 11 Midori-cho, Musashino-shi ,
	  Tokyo 180, Japan


Xref: sparky comp.research.japan:339 comp.sys.super:1136