Skip to main content
SpringerLink
Log in

Using classes as specifications for automatic construction of programs in the NUT system

  • Published:
Automated Software Engineering Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

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

    Google Scholar 

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

    Google Scholar 

  • G. Mints and E. Tyugu. The programming system PRIZ.Journal of Symbolic Computations, 5:359–375, 1988.

    Google Scholar 

  • G. Mints and E. Tyugu. Propositional logic programming and the PRIZ system.Journal of Logic Programing, 9:2–3:179–194, 1990.

    Google Scholar 

  • J. Pahapill. Modeling of hydromechanical systems. InApplication Software Packages in the PRIZ Programming System, pp. 56–92. Estonian Acad. Sci., Tallinn, 1988.

    Google Scholar 

  • J. Penjam. Synthesis of semantic processors from attribute grammars.System Programming and Computer Software, 1:50–60, 1983.

    Google Scholar 

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

    Google Scholar 

  • E. Tyugu. Three new-generation software environments.Communications of the ACM, 34:46–59, 1991a.

    Google Scholar 

  • E. Tyugu. Declarative programming in a type theory. In B. Moller, editor,Constructing Programs from Specifications, pp. 451–472. North-Holland, 1991b.

Download references

Author information

Authors and Affiliations

  1. Department of Teleinformatics, Royal Institute of Technology, KTH Electrum/204, S-16440, Kista, Sweden

    Enn Tyugu

Authors
  1. Enn Tyugu
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Tyugu, E. Using classes as specifications for automatic construction of programs in the NUT system. Autom Software Eng 1, 315–334 (1994). https://doi.org/10.1007/BF00871707

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00871707

Key words

Search

Navigation