Y. Morimoto (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Y. Sato, Y. Morimoto, Tadao Ichikawa: Program Refinement Using Generic Object. SEKE 1992: 18-25

1 Takao Tenma, Y. Sato, Y. Morimoto, Minoru Tanaka, Tadao Ichikawa: A Modification Support System - Automatic Correction of Side-Effects Caused by Type Modifications. ACM Conference on Computer Science 1990: 154-160

Selection of 2 from 2 records - Y. Morimoto has 4 coauthors

Last update 2012-09-10 CET by the DBLP Team —

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

2		Y. Sato, Y. Morimoto, Tadao Ichikawa: Program Refinement Using Generic Object. SEKE 1992: 18-25
1		Takao Tenma, Y. Sato, Y. Morimoto, Minoru Tanaka, Tadao Ichikawa: A Modification Support System - Automatic Correction of Side-Effects Caused by Type Modifications. ACM Conference on Computer Science 1990: 154-160