1980
DOI: 10.1007/3-540-09981-6_22
|View full text |Cite
|
Sign up to set email alerts
|

Suggestions for composing and specifying program design decisions

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

1980
1980
1993
1993

Publication Types

Select...
4
2

Relationship

0
6

Authors

Journals

citations
Cited by 10 publications
(2 citation statements)
references
References 20 publications
0
2
0
Order By: Relevance
“…Thus, operational steps in program deductions should themselves be specified, e.g. in terms of antecedent prerequisites and consequent properties [21]. This amounts to using at the meta-level the technique of specifying program components by pre-and post-conditions: deductions yielding programs are meta-programs, and the specifications of these deductions are metaspecifications.…”
Section: Specifications Of Deductionsmentioning
confidence: 99%
“…Thus, operational steps in program deductions should themselves be specified, e.g. in terms of antecedent prerequisites and consequent properties [21]. This amounts to using at the meta-level the technique of specifying program components by pre-and post-conditions: deductions yielding programs are meta-programs, and the specifications of these deductions are metaspecifications.…”
Section: Specifications Of Deductionsmentioning
confidence: 99%
“…Featber and Darlington [16]. and Sintzoff [38] bave laid tbe groundwork for this largely unexplored problem.…”
Section: Introduction; Transformational Implementationmentioning
confidence: 99%