English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

This paper explores the representation of a knowledge necessary for a computer to achieve the ability to perform the automatic synthesis of user programs. It is assumed that the knowledge demanded for this synthesis can be acquired by the computer from user programs written in a high-level programming language. This arises from the fact that user programs consist of a finite number of components, which being treated as some pieces of the knowledge, should be incorporated into the knowledge base (KB). A method is presented of acquiring knowledge from user programs. It is shown that knowledge being acquired from a user program, on the level programming language, is divided by the computer into three kinds associated with, respectively, algorithm structures, operation codes and declaration statements. In this paper formal representation of each kind of knowledge in the KB is introduced and the retrieval of knowledge belonging to each kind is described.

Acquisition and representation of knowledge on the level of programming language for automatic programming