Suggestions about a specification technique

Authors:
B. D. Chaudhary;H. V. Sahasrabuddhe
Affiliations:
Indian Institute of Technology, Kanpur, India;Indian Institute of Technology, Kanpur, India
Venue:
ACM SIGPLAN Notices
Year:
1978

Citing 4
Cited 0

Exception handling: issues and a proposed notation

Communications of the ACM
A technique for software module specification with examples

Communications of the ACM
Toward an understanding of data structures

Communications of the ACM
The specification and application to programming of abstract data types.

The specification and application to programming of abstract data types.

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this note, we suggest some modifications in a specification technique of abstract data structures. These modifications will enhance its power to specify the delayed effects, exception handling strategy and any other computational properties.