skip to main content
article
Free access

AIDS to hierarchical specification structuring and reusing theorems in AFFIRM-85

Published: 01 August 1985 Publication History
First page of PDF

References

[1]
J. V. Guttag, E. Horowitz, and D. R. Musser, "Abstract Data Types and Software Validation," CACM 21, December 1978, 1048--1064.
[2]
S. L. Gerhart, D. R. Musser, D. H. Thompson, D. A. Baker, R. L. Bates, R. W. Erickson, R. L. London, D. G. Taylor, D. S. Wile, "An Overview of AFFIRM: A Specification and Verification System, Proc. of IFIP Congress 80 (8th World Computer Congress), October 1980.
[3]
AFFIRM Reference Manual (D. H. Thompson and R. W. Erickson, Editors), USC Information Sciences Institute, 1981.
[4]
D. Kapur and G. Sivakumar, "Experiments with and Architecture of RRL, A Rewrite Rule Laboratory," in Proc. of an NSF Workshop on the Rewrite Rule Laboratory (J. V. Guttag, D. Kapur, D. R. Musser, eds.), GE-CRD Report 84GEN008, April, 1984.

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes  Volume 10, Issue 4
Proceedings of VERkshop III -- a formal verification workshop
August 1985
135 pages
ISSN:0163-5948
DOI:10.1145/1012497
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 1985
Published in SIGSOFT Volume 10, Issue 4

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)18
  • Downloads (Last 6 weeks)3
Reflects downloads up to 16 Feb 2025

Other Metrics

Citations

Cited By

View all

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media