QuoteRef: snowRA_1973

Reference

Snowdon, R.A., "Pearl--a system for the preparation and validation of structured programming", pp. 57-72, in Hetzel, W.C. (ed.), Program test methods, Prentice-Hall, 1973. Google

Subtopic: Quote: Pearl includes assertions about a function; e.g., clear (Queue a) ... Yields empty (a)

QuoteRef: snowRA_1973 ;;Pearl allows partial execution of a partially specified program

QuoteRef: snowRA_1973 ;;65 specifying which parameters may be changed in a procedure ("varying")

Related Topics

Topic: Thesa as a database of modules (23 items)
Topic: execution with program stubs (5 items)
ThesaHelp: references sa-sz (237 items)
Topic: input or output parameters (5 items)
Topic: run-time assertions (25 items)