Verification and correction of non-procedural specifications in automaticgeneration of programs.

Authors:
Subramanya Kolpe Shastry
Affiliations:
-
Venue:
Verification and correction of non-procedural specifications in automaticgeneration of programs.
Year:
1978

Citing 0
Cited 2

Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development

ACM Transactions on Programming Languages and Systems (TOPLAS)
On the scope of static checking in definitional languages

ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge

Quantified Score

Hi-index	0.00

Visualization

Abstract