scholarly journals Some independence results for control structures in complete numberings

2001 ◽  
Vol 66 (1) ◽  
pp. 357-382 ◽  
Author(s):  
Sanjay Jain ◽  
Jochen Nessel
Keyword(s):  
General Setting ◽  
Programming System ◽  
Control Structures ◽  
Independence Results ◽  
Programming Systems ◽  
Recursion Theorem

AbstractAcceptable programming systems have many nice properties like s-m-n-Theorem, Composition and Kleene Recursion Theorem. Those properties are sometimes called control structures, to emphasize that they yield tools to implement programs in programming systems. It has been studied, among others by Riccardi and Royer, how these control structures influence or even characterize the notion of acceptable programming system. The following is an investigation, how these control structures behave in the more general setting of complete numberings as defined by Mal'cev and Eršov.

scholarly journals VISUAL-GRAPHIC PROGRAMMING SYSTEM BASED ON DEVELOPMENT OF BLOCK DIAGRAMS OF ALGORITHMS. CONVERTING PROGRAMS TEXTS IN DIFFERENT PROGRAMMING LANGUAGES INTO BLOCK DIAGRAMS AND BACK

2021 ◽  
pp. 49-57
Author(s):  
А.А. Вохмин ◽  
О.А. Евдокимова ◽  
А.А. Малявко
Keyword(s):  
Programming Languages ◽  
Graphic Design ◽  
Graphical Representation ◽  
Internal Representation ◽  
Program Text ◽  
Programming System ◽  
Control Structures ◽  
Graphic Editor ◽  
Textual Representation ◽  
Visual Graphic

В работе представлены результаты исследований и разработки средств визуально-графического проектирования сложных алгоритмов в виде блок-схем в целом и, в частности, интерфейсной компоненты таких средств – конвертора текстов программ на различных языках программирования во внутреннее структурно-вложенное представление и обратно в тексты. Визуально-графическое представление алгоритмов лучше воспринимается человеком-разработчиком, чем традиционное текстовое представление, поэтому развитию подобных систем программирования в последнее время уделяется определенное внимание. Однако реализация максимально удобных для человека технологий создания и редактирования блок-схем сопряжена с необходимостью решения ряда сложных задач формирования и адекватного отображения управляющих структур, используемых в популярных языках программирования. Проведен анализ таких структур для наиболее популярных по разным метрикам языков программирования, представлены его результаты и предложен способ выявления и преобразования управляющих структур во внутреннее представление визуально-графического редактора. Описаны основные алгоритмы работы конвертора текстов программ как в прямом, так и в обратном направлениях. The paper presents the results of research and development of tools for visual and graphic design of complex algorithms in the form of block diagrams in general and, in particular, the interface component of such tools - a converter of programs texts in various programming languages ​​into an internal structurally nested representation and back into texts. The visual-graphical representation of algorithms is better perceived by a human developer than the traditional textual representation, therefore, some attention has been paid to the development of such programming systems in recent years. However, the implementation of the most human-friendly technologies for creating and editing block diagrams is associated with the need to solve a number of complex problems of forming and adequately displaying control structures used in popular programming languages. The analysis of such structures for the most popular programming languages ​​in terms of various metrics is carried out, its results are presented, and a method for identifying and transforming control structures into an internal representation of a visual-graphic editor is proposed. The main algorithms for the operation of the program text converter both in forward and backward directions are described.

The YAP Prolog system

2011 ◽  
Vol 12 (1-2) ◽  
pp. 5-34 ◽  
Author(s):  
VÍTOR SANTOS COSTA ◽  
RICARDO ROCHA ◽  
LUÍS DAMAS
Keyword(s):  
Logic Programming ◽  
General Structure ◽  
Just In Time ◽  
Programming System ◽  
Programming Systems ◽  
Indexing Mechanism ◽  
Structure And Design

AbstractYet Another Prolog (YAP) is a Prolog system originally developed in the mid-eighties and that has been under almost constant development since then. This paper presents the general structure and design of the YAP system, focusing on three important contributions to the Logic Programming community. First, it describes the main techniques used in YAP to achieve an efficient Prolog engine. Second, most Logic Programming systems have a rather limited indexing algorithm. YAP contributes to this area by providing a dynamic indexing mechanism, or just-in-time indexer. Third, a important contribution of the YAP system has been the integration of both or-parallelism and tabling in a single Logic Programming system.

The Design of General Off-Line Graphical Robot Programming System

2017 ◽  
Vol 9 (4) ◽  
pp. 343-352
Author(s):  
Zheng Zhang ◽  
Yonggang Peng ◽  
Yuhui Li
Keyword(s):  
Robot Programming ◽  
Programming System

AGENT'S REPUTATION, ACCOUNTING AND COSTING IN ORGANISATIONAL CONTROL STRUCTURES

1997 ◽  
Vol 24 (1) ◽  
pp. 1-23 ◽  
Author(s):  
Tom McLean
Keyword(s):  
Coal Mining ◽  
Industrial Revolution ◽  
Control Structures ◽  
The Impact

This paper examines the roles of accounting and costing in the management of coal mining during the Industrial Revolution in Britain, and considers the impact of the agent's reputation in the development and use of these systems.

Sign in / Sign up

Export Citation Format

Share Document