Using classes as specifications for automatic construction of programs in the NUT system
Tóm tắt
It is shown, how the object-oriented programming paradigm has been combined with automatic program construction in the NUT system: type information extracted from a class specification is being used for automatic construction of methods for the class. Special compute-messages are introduced as requests for program synthesis which can be done statically or dynamically. Particular features of the specification language which support the program synthesis are considered and applications of this method are outlined.
Tài liệu tham khảo
H.-M. Haav and A. Kalja. Knowledge-based data modeling technique. InAdvances in Information Modeling and Knowledge Bases, pp. 152–166. IOS Press, Amsterdam, 1991.
J. Jaffar and J.-L. Lassez. Constraint logic programming. InProc. of the 14th ACM Symposium on Principles of Programming Languages, pp. 111–119, Munich, 1987.
V. Kotov, A. Nariniani, and E. Tyugu. The USSR Academy of Sciences START Project. InInformation Processing 89 (IFIP'89), pp. 623–626, North Holland, 1989.
M. Matskin and E. Tyugu. The NUT language. TRITA-TCS-SE-92-TR, Royal Institute of Technology, Stockholm, 1992.
G. Mints and E. Tyugu. The programming system PRIZ.Journal of Symbolic Computations, 5:359–375, 1988.
G. Mints and E. Tyugu. Propositional logic programming and the PRIZ system.Journal of Logic Programing, 9:2–3:179–194, 1990.
J. Pahapill. Modeling of hydromechanical systems. InApplication Software Packages in the PRIZ Programming System, pp. 56–92. Estonian Acad. Sci., Tallinn, 1988.
J. Penjam. Synthesis of semantic processors from attribute grammars.System Programming and Computer Software, 1:50–60, 1983.
V. Saraswat. Concurrent constraint programming. InProc. of the 17th ACM Symposium on Principles of Programming Languages, pp. 232–245, San Francisco, 1990.
G. Smolka, M. Henz, and J. Wurtz. Object-oriented concurrent constraint programming in Oz. DFKI RR-933-16, Saarbrucken, 1993.
E. Tyugu, M. Matskin, J. Penjam, and P. Eomois. NUT—an object-oriented language.Computers and Artificial Intelligence, 5:6:521–542, 1986.
E. Tyugu. Three new-generation software environments.Communications of the ACM, 34:46–59, 1991a.
E. Tyugu. Declarative programming in a type theory. In B. Moller, editor,Constructing Programs from Specifications, pp. 451–472. North-Holland, 1991b.