Approaches to executable specifications

Authors:
Stephen W. Smoliar
Affiliations:
Schlumberger-Doll Research, Ridgefield, Connecticut
Venue:
Proceedings of the workshop on Rapid prototyping
Year:
1982

Citing 3
Cited 0

Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
Recursive functions of symbolic expressions and their computation by machine, Part I

Communications of the ACM
Towards a Wide Spectrum Language to Support Program Specification and Program Development

Program Construction, International Summer Schoo

Quantified Score

Hi-index	0.01

Visualization

Abstract