Access Restriction

Author Pareja-Flores, Cristóbal ♦ Velázquez-Iturbide, J. Ángel
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Computer programming, programs & data
Subject Keyword Function inversion ♦ Program transformation ♦ Verification ♦ Functional programming ♦ Adts ♦ Assertions ♦ Program specification ♦ Program synthesis
Abstract The transformational model of program development allows obtaining programs correct by construction. When developing nontrivial programs, three activities arise: program synthesis, program transformation, and verification of properties; in addition, specification, use and implementation of ADTs must typically be considered all through these activities. The purpose of this article is to illustrate the need for all these activities by means of a nontrivial problem: encoding and decoding with prefix codes. Our exposition is rather informal, not being committed to any particular program transformation system, and it should be understood by any programmer looking forward to develop functional programs in a systematic way, while avoiding the burden of any particular system. In particular, we show the stages in the complete transformational development of a functional program, dealing successively with correctness and time efficiency, as well as the key decisions that are adopted.
Description Affiliation: Dept. Sistemas Informáiticos y Programacidn, Universidad Complutense de Madrid. Avda. Puerta de Hierro s/n, 28040-Madrid, Spain (Pareja-Flores, Cristóbal) || Escuela Superior de CC. ExperimentMes y Teenologla, Universidad Key Juan Carlos. C/ Tulipgm s/n, 28933-Mdstoles, Madrid, Spain (Velázquez-Iturbide, J. Ángel)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 1983-05-01
Publisher Place New York
Journal ACM SIGPLAN Notices (SIGP)
Volume Number 34
Issue Number 4
Page Count 7
Starting Page 54
Ending Page 60

Open content in new tab

   Open content in new tab
Source: ACM Digital Library