Development and substantiation of algorithms based on semantic properties

S.L. Kryvyi, O.M. Maksymets

Abstract


Examples of the development and validation of algorithms based on the use of the domain properties are shown. These properties are formulated in terms of semantic relationships that characterize the subject area of the developed algorithm.

Prombles in programming 2014; 2-3: 151-159


References


Калниньш А.А., Борзов Ю.В. Инвентаризация идей тестирования программ. Рига: ЛГУ им. Стучки. – 1981. – 54 с.

Cousot P. Abstract Interpretation Based Formal Methods and Future Challenges. http://www.di.ens.fr/ cousot/. – 2003. – P. 131–151.

Chap. 10. – P. 303–342.

Cousot P. Verification by abstract Interpretation. – Lecture Notes in Comp. Science. – 2003. – N 2772. – P. 243–268.

Clarke E.M., Grumberg Jr. O., Peled D. Model Checking. The MIT Press: Cambridge, Massachusetts, London, England. – 2001. – 356 p.

Penczek W., Pólrola A. Advanced in Verification on Time Petri Nets and Timed Automata. Springer-Verlag Berlin Heidelberg. – 2006. – 258 p.

Ben-Ari M. Mathematical Logic for Computer Science. Springer-Verlag London Limited. – 2001. – 345 p.

Nielson F. Two-level semantics and abstract interpretation // Theor. Comp Scien. (Fundamental Studies). – 1989. – N 69. – P. 117–242.

Кривий С.Л. Вступ до методiв створення програмних продуктiв. Чернiвцi: "Букрек". – 2012. – 424 с.

Годлевский А.Б., Кривой С.Л. Трансформационный синтез эффективных алгоритмов с учетом дополнительных спецификаций // Кибернетика. – 1986. – № 6. – C. 34–43.

Годлевский А.Б., Кривой С.Л. О проектировании эффективных алгоритмов приведения автоматов для некоторых отношений эквивалентности // Кибернетика и системный анализ. – 1989. – № 6. – C. 54–61.


Refbacks

  • There are currently no refbacks.