Verification of programs: status, problems and experimental results. II
Abstract
Full Text:
PDF (Русский)References
Максимец А.Н. Верификация программ: состояние, проблемы, экспериментальные результаты I // Проблеми програмування. – 2013. – № 4. – С. 53–63.
Летичевский А.А. Эквивалентность и оптимизация программ // Труды междунар. симпозиума по теоретическому программированию. – Новосибирск. – 1972. – С. 166–180.
Kam J.B., Ullman D.J. Monotone data flow analysis frame works // Acta Inform. – 1978. – N 3. – P. 305–318.
Годлевский А.Б., Капитонова Ю.В., Кривой С.Л., Летичевский А.А. Итеративные методы анализа программ // Кибернетика. – 1989. – № 2. – C. 9–19.
Летичевский А.А. Об одном подходе к анализу программ // Кибернетика. – 1979. – № 6. – C. 1–8.
Годлевский А.Б., Капитонова Ю.В., Кривой С.Л., Летичевский А.А. Итеративные методы анализа программ. Равенства и неравенства // Кибернетика. – 1990. – № 3. – С. 1–9.
Maksymets O.M. Upper approximation method for polynomial invariants Theoretical and Applied Aspects of Cybernetics // Proceedings of the 2nd International Scientific Conference of Students and Young Scientists. Computer Science Section. – Kyiv: Bukrek. –
– P. 45–47.
Refbacks
- There are currently no refbacks.