Implementation of Parnas' it-ti construct in LISP
Samples, A. Dain
MetadataShow full item record
D.L. Parnas has recently proposed (1) a new programming control structure the it-ti. This construct is a synthesis of several ideas in programming theory including iteration, conditionals, and Dijkstra's guards (2) It has been implemented in a LISP interpreter (8) as a more structured replacement for the traditional prog construct. Several programming examples are given that compare the use of the it-ti with the more conventional programming constructs. These examples will also show that the it-ti fails to satisfy several criteria for programming constructs including manageability and visibility. An appendix to this report contains an extension of Dijkstra's concept of the 'weakest precondition' to the it-ti. (Author)
NPS Report NumberNPS52-82-005
Showing items related by title, author, creator and subject.
Human and organizational factors in the U.S. Naval Construction Force a qualitative analysis of the U.S. Naval Mobile Construction Battalion Peacetime Deployment Construction Program De Guzman, Roland V. (2002);The U.S. Navy has had its own internal combat construction engineer force for over 60 years: the Navy Seabees. The motto of this cadre of engineering professionals is elegantly simple: With compassion for others; We build--We ...
Simpkins, William J. (University of Florida, 2000);Value engineering enjoys widespread use throughout the Federal Government and in the private sector. The many billions of dollars saved over the years is a tribute to the effectiveness of applying value engineering ...
Lee, Yuh-jeng (Monterey, California. Naval Postgraduate School, 1989-09); NPS-52-89-060We are exploring the use of executable specifications in automating the process of debugging logic programs. We have formulated a computer model that encodes programming knowledge including a classification of program bugs, ...