Writing Larch interface language specifications

DOI10.1145/9758.10500zbMath0627.68014OpenAlexW2013492611WikidataQ111096933 ScholiaQ111096933MaRDI QIDQ3763570

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

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

Related Items (6)

Modular specification of frame properties in JML ⋮ Specification and verification of object-oriented programs using supertype abstraction ⋮ Are the logical foundations of verifying compiler prototypes matching user expectations? ⋮ Specification and verification challenges for sequential object-oriented programs ⋮ Abstract implementation of algebraic specifications in a temporal logic language ⋮ A logical analysis of aliasing in imperative higher-order functions

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