Yasuomi Sato

Publication Activity (10 Years)

Years Active: 1990-1992
Publications (10 Years): 0

Publications

Yasuomi Sato, Yasuhiko Morimoto, Tadao Ichikawa
Program Refinement Using Generic Object. SEKE (1992)
Takao Tenma, Yasuomi Sato, Yasuhiko Morimoto, Minoru Tanaka, Tadao Ichikawa
A modification support system-automatic correction of side effects caused by type modifications. Systems and Computers in Japan 22 (14) (1991)
Takao Tenma, Yasuomi Sato, Yasuhiko Morimoto, Minoru Tanaka, Tadao Ichikawa
A Modification Support System - Automatic Correction of Side-Effects Caused by Type Modifications. ACM Conference on Computer Science (1990)