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

Authors

  • Duong Tuan Anh Publishing House for Science and Technology

DOI:

https://doi.org/10.15625/1813-9663/5/3/11177

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.

Downloads

Download data is not yet available.

Downloads

Published

2018-02-01

Issue

Section

Computer Science