Writing Larch interface language specifications

DOI10.1145/9758.10500MaRDI QIDQ3763570zbMATH OpenOpenAlexWikidataFDO

Authors Jeannette M. Wing

Publication date 1987

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL http://www.acm.org/pubs/contents/journals/toplas/1987-9/

zbMATH Keywords

Larch Shared LanguageCLUtwo-tiered specification approach

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 517385
• scientific article; zbMATH DE number 1227059
• Report on the Larch shared language
• scientific article; zbMATH DE number 1303987
• scientific article; zbMATH DE number 2079812

Cited in

(11)

• A Larch shared language handbook
• An expressive language of signatures
• Are the logical foundations of verifying compiler prototypes matching user expectations?
• Behavioral interface specification languages
• Specification and verification of object-oriented programs using supertype abstraction
• scientific article; zbMATH DE number 2079812 (Why is no real title available?)
• A logical analysis of aliasing in imperative higher-order functions
• scientific article; zbMATH DE number 517385 (Why is no real title available?)
• Abstract implementation of algebraic specifications in a temporal logic language
• Specification and verification challenges for sequential object-oriented programs
• Modular specification of frame properties in JML

This page was built for publication: Writing Larch interface language specifications

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