An Overview of Larch/C++: Behavioral Specifications for C++ Modules
| dc.contributor.author | Leavens, Gary | |
| dc.contributor.department | Department of 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
1 - 1 of 1
No Thumbnail Available
- Name:
- TR96_01e.pdf
- Size:
- 224.97 KB
- Format:
- Adobe Portable Document Format
- Description: