Stability and monotonicity of programs for structural data transformations

M.S. Nikitchenko, E.V. Iivanov

Abstract


In the article the problem of program behavior with respect to structure transformations of input data is considered. An explication and formalization of the problem in the framework of composition-nominative approach is given. Defined notions are studied and a language of programs having stable and monotone behavior under structure transformations is constructed.

Problems in programming 2010; 2-3: 58-67


References


Никитченко Н.С. Композиционно-номинативный подход к уточнению понятия программы // Проблеми програмування.– 1999.–

№ 1. – C. 16–31.

Нікітченко М.С., Іванов Є.В. Властивості композиційно-номінативних мов програм з асоціативним розіменуванням // XVI Всеукраїнської наук. конф. "Сучасні проблеми прикладної математики та інформатики". 8–9 жовтня 2009. – Львів, 2009. – С. 157–158.


Refbacks

  • There are currently no refbacks.