Suggestions for Composing and Specifying Program Design Decisions

Authors:
Michel Sintzoff
Affiliations:
-
Venue:
Proceedings of the Fourth 'Colloque International sur la Programmation' on International Symposium on Programming
Year:
1980

Citing 0
Cited 2

Program developments: formal explanations of implementations

Communications of the ACM
Proof-oriented and applicative valuations in definitions of algorithms

FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture

Quantified Score

Hi-index	0.02

Visualization

Abstract