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:43:24.000 | |
| dc.date.accessioned | 2020-06-30T01:55:01Z | |
| dc.date.available | 2020-06-30T01:55:01Z | |
| dc.date.issued | 1996-04-01 | |
| 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.</p> | |
| dc.description.comments | Copyright © Kluwer Academic Publishers, 1996. Used by permission. A version of this paper will be a chapter 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. | |
| dc.identifier | archive/lib.dr.iastate.edu/cs_techreports/100/ | |
| dc.identifier.articleid | 1092 | |
| dc.identifier.contextkey | 5332429 | |
| dc.identifier.s3bucket | isulib-bepress-aws-west | |
| dc.identifier.submissionpath | cs_techreports/100 | |
| dc.identifier.uri | https://dr.lib.iastate.edu/handle/20.500.12876/19907 | |
| dc.source.bitstream | archive/lib.dr.iastate.edu/cs_techreports/100/TR96_01b.pdf|||Fri Jan 14 18:11:19 UTC 2022 | |
| dc.subject.disciplines | Programming Languages and Compilers | |
| 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_01b.pdf
- Size:
- 234.3 KB
- Format:
- Adobe Portable Document Format
- Description: