An Educational System that Explains the Domain-oriented-explanation of Program's Behaviors.

Fumihiko Anma, Tomonori Kato, Tatsuhiro Konishi, Yukihiro Itoh, Toshio Okamoto

Browse the full ICALT paper archive.