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
|
|