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

  title={Using classes as specifications for automatic construction of programs in the NUT system},
  author={E. Tyugu},
  journal={Automated Software Engineering},
  • E. Tyugu
  • Published 2004
  • Computer Science
  • Automated Software Engineering
  • 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… CONTINUE READING
    Runtime Service Composition via Logic-Based Program Synthesis
    • 49
    • Highly Influenced
    • PDF
    Applications of Structural Synthesis of Programs
    • 16
    • PDF
    Declarative reflection tools for agent shells
    • 6
    • PDF
    NUTS: a Distributed Object-oriented Platform with High Level Communication Functions
    • 5
    • PDF


    Publications referenced by this paper.
    Constraint logic programming
    • 1,577
    Concurrent constraint programming
    • 899
    • PDF
    Three new-generation software environments
    • 35
    The Programming System PRIZ
    • 30
    Propositional Logic Programming and Priz System
    • 23
    Declarative Programming in a Type Theory Constructing Programs from Specifications
    • 1991
    Synthesis of Semantic Processors from Attribute Grammars
    • 1983
    Knowledge-Based Data Modeling Technique,”in Advances in Information Modeling and Knowledge Bases, IOS Press, Amsterdam, pp
    • 1991
    Knowledge-based data modeling technique
    • 1991