Protective interface specifications

DOI10.1007/PL00003926MaRDI QIDQ1271854zbMATH OpenFDO

Authors Gary T. Leavens, Jeannette M. Wing

Publication date 11 November 1998

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://lib.dr.iastate.edu/cs_techreports/61

zbMATH Keywords

interface specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Writing Larch interface language specifications
• scientific article; zbMATH DE number 3974258
• Semantical analysis of specification logic. II
• scientific article; zbMATH DE number 4045100

Cited in

(3)

• Behavioral interface specification languages
• Efficient Well-Definedness Checking
• Automatic verification of Java programs with dynamic frames

This page was built for publication: Protective interface specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1271854)