Gypsy

Ambler, Allen L.; Good, Donald I.; Browne, James C.; Burger, Wilhelm F.; Cohen, Ronald S.; Hoch, Charles G.; Wells, Robert E.

doi:10.1145/800022.808306

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

1979

2016

Publication Types

Select...

Book4

Other1

Article1

Relationship

Self Cite0

Independent6

Authors

Journals

Cited by 45 publications

(2 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The interested reader should refer to [16,17,18,19) for further details about this method and for examples of inductive assertion proofs.…”

mentioning

confidence: 99%

See 1 more Smart Citation

A Strategy for Effective Integration of Verification and Testing Techniques.

Osterweil¹

1980

View full text Add to dashboard Cite

“…The interested reader should refer to [16,17,18,19) for further details about this method and for examples of inductive assertion proofs.…”

mentioning

confidence: 99%

“…Most of these worries about the reliability of formal proofs can be removed by employing an automated verification system such as GYPSY [16). Such systems rely upon humans primarily for guidance in producing thoroughly detailed, totally justified First Order Predicate Calculus lemmas in support of the formal verification.…”

mentioning

confidence: 99%

A Strategy for Effective Integration of Verification and Testing Techniques.

Osterweil¹

1980

View full text Add to dashboard Cite

Linguistic mechanisms for resource management strategies

et al. 1981

View full text Add to dashboard Cite

In this paper a unified set of linguistic features for providing a very flexible range of resource management strategies is presented. These features may be embedded in an object oriented programming language with abstract data type definitions. Firstly some of the more frequently used resource management strategies are illustrated and the related problems of resource allocation, access and synchronization are discussed. Then linguistic mechanisms to allow static and dynamic resource allocation, static access control and synchronization are presented. Finally some examples, reflecting a wide range of resource management strategies, are discussed in order to illustrate the application of the proposed linguistic features.

show abstract