Tyugu E., "Using classes as specifications for automatic construction of programs in the NUT system". Journal of Automated Software Engineering, v. 1, 1994, pp. 315 - 334.

(1994)

Languages mentioned

  • NUT {1986}
  • PRIZ {1983} Logic programming environment