๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Some construction principles of a program debugging system

โœ Scribed by V. P. Semik; I. V. Sergiyenko


Publisher
Springer US
Year
1968
Tongue
English
Weight
471 KB
Volume
2
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


DDS: A declarative debugging system for
โœ Naohisa Takahashi; Satoshi Ono ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 908 KB

## Abstract This paper describes the outline and implementation of the declarative debugging system DDS. The purpose of DDS is to provide the following debugging system for the functional program without a side effect: (1) The programmer specifies the result of execution and the intermediate result