Phép chuyển từ đặc tả ẩn tang thành chương trình logic

Duong Tuan Anh

Abstract



This paper presents a way to transform an initial specification of a problem into a PROLOG          program by introducing recursion and through a data retinement step. This transformation contributes to a programming methodology which  intends to derive programs from formal specifications.


Full Text:

PDF


DOI: https://doi.org/10.15625/1813-9663/5/3/11177 Display counter: Abstract : 70 views. PDF : 50 views.

Oktrik

Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology