An Overview of Larch/C++: Behavioral Specifications for C++ Modules

dc.contributor.author Leavens, Gary
dc.contributor.department Computer Science
dc.date 2018-02-13T22:27:30.000
dc.date.accessioned 2020-06-30T01:57:21Z
dc.date.available 2020-06-30T01:57:21Z
dc.date.issued 1999
dc.description.abstract <p>An overview is presented of the behavioral interface specification language Larch/C++. The features of Larch/C++ used to specify the behavior of C++ functions and classes, including subclasses, are described, with examples. Comparisons are made with other object-oriented specification languages. An innovation in Larch/C++ is the use of examples in function specifications. Copyright (c) Kluwer Academic Publishers, 1996. Used by permission. An abbreviated and earlier version of this paper is chapter 8 in the book Specification of Behavioral Semantics in Object-Oriented Information Modeling, edited by Haim Kilov and William Harvey (Kluwer Academic Publishers, 1996), pages 121-142.</p>
dc.identifier archive/lib.dr.iastate.edu/cs_techreports/60/
dc.identifier.articleid 1088
dc.identifier.contextkey 5299777
dc.identifier.s3bucket isulib-bepress-aws-west
dc.identifier.submissionpath cs_techreports/60
dc.identifier.uri https://dr.lib.iastate.edu/handle/20.500.12876/20247
dc.source.bitstream archive/lib.dr.iastate.edu/cs_techreports/60/TR96_01e.pdf|||Sat Jan 15 01:13:50 UTC 2022
dc.subject.disciplines Programming Languages and Compilers
dc.subject.disciplines Systems Architecture
dc.subject.keywords behavioral specification
dc.subject.keywords model-based
dc.subject.keywords behavioral interface specification language
dc.subject.keywords Larch
dc.subject.keywords C++
dc.subject.keywords Larch/C++
dc.subject.keywords Larch Shared Language
dc.subject.keywords VDM
dc.subject.keywords Z
dc.subject.keywords correctness
dc.subject.keywords verification
dc.subject.keywords abstract data type
dc.subject.keywords object-oriented
dc.subject.keywords specification inheritance
dc.subject.keywords example
dc.subject.keywords checkable redundancy
dc.subject.keywords behavioral subtype
dc.subject.keywords informality
dc.subject.keywords tunable formality
dc.title An Overview of Larch/C++: Behavioral Specifications for C++ Modules
dc.type article
dc.type.genre article
dspace.entity.type Publication
relation.isOrgUnitOfPublication f7be4eb9-d1d0-4081-859b-b15cee251456
File
Original bundle
Now showing 1 - 1 of 1
Name:
TR96_01e.pdf
Size:
224.97 KB
Format:
Adobe Portable Document Format
Description:
Collections