Tool support for axiomatic programming /
| Main Author: | |
|---|---|
| Format: | Thesis eBook |
| Language: | English |
| Published: |
[College Station, Tex.] :
[Texas A&M University],
[2010]
|
| Subjects: | |
| Online Access: | Link to OAK Trust copy |
| Abstract: | Many problems arising from spectacular error messages involving C++ templates are related to the fact that assumptions made by the C++ standard algorithms are stated in informal comments, not in code that is checked by the compiler. Some of those properties are syntactic, meaning that the compiler can do syntax and type checking and reject erroneous constructs. Others are semantics, e.g. that a type is regular. Such assumptions can be checked only if programmers have ways to express those assumptions in code. My project proposes the use of two features in C++, concepts and axioms, that would allow programmers to express semantic requirements in code. To show the benefits that this approach could have we have developed an interpreter, Liz, capable of handling a subset of C++ augmented with concepts and axioms. Liz has been successful in demonstrating how these new features could save a lot of time and effort to programmers, and more importantly, how they could make templates less intimidating, more accessible, and truly mathematically accurate. |
|---|---|
| Item Description: | "Major Subject: Computer Science" Title from author supplied metadata (automated record created 2010-08-20 08:33:27). Electronic resource. |
| Physical Description: | 1 online resource. |
| Bibliography: | Includes bibliographical references. |