Specification of generic APIs, or-Reference-Cited by-同舟云学术

Specification of generic APIs, or

Published:2014-11-26 Issue:3 Volume:34 Page:71-80
ISSN:1094-3641
Container-title:ACM SIGAda Ada Letters
language:en
Short-container-title:Ada Lett.

Author:

Bagge Anya Helene¹,Haveraaen Magne¹

Affiliation:

1. University of Bergen, Bergen, Norway

Abstract

Specification based on Floyd-Hoare logic, using pre- and post-conditions, is common in languages aimed at high integrity software. Such pre/postcondition specifications are geared towards verification of code. While this specification technique has proven quite successful in the past 40 years, it has limitations when applied to API specification, particularly specification of generic interfaces. API-oriented design and genericity is of particular importance in modern large-scale software development. In this situation, algebraic specification techniques have a significant advantage. Unlike pre/post-based specification, which deals with the inputs and outputs of one operation at a time, algebraic specification deals with the relationships between the different operations in an API, which is needed in the specification of generic APIs.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/2692956.2663183

Reference35 articles.

1. Gypsy

2. Testing with Axioms in C++ 2011.

3. A. H. Bagge and M. Haveraaen . Axiom-based transformations: Optimisation and testing. In J. J. Vinju and A. Johnstone editors Eighth Workshop on Language Descriptions Tools and Applications (LDTA 2008 ) volume 238 of Electronic Notes in Theoretical Computer Science pages 17 -- 33 Budapest Hungary 2009. Elsevier . 10.1016/j.entcs.2009.09.038 A. H. Bagge and M. Haveraaen. Axiom-based transformations: Optimisation and testing. In J. J. Vinju and A. Johnstone editors Eighth Workshop on Language Descriptions Tools and Applications (LDTA 2008) volume 238 of Electronic Notes in Theoretical Computer Science pages 17--33 Budapest Hungary 2009. Elsevier. 10.1016/j.entcs.2009.09.038

4. A. H. Bagge and M. Haveraaen . Interfacing concepts: Why declaration style shouldn't matter. In T. Ekman and J. J. Vinju editors Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications (LDTA '09) volume 253 of Electronic Notes in Theoretical Computer Science pages 37 -- 50 York UK 2010 . Elsevier . 10.1016/j.entcs.2010.08.030 A. H. Bagge and M. Haveraaen. Interfacing concepts: Why declaration style shouldn't matter. In T. Ekman and J. J. Vinju editors Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications (LDTA '09) volume 253 of Electronic Notes in Theoretical Computer Science pages 37--50 York UK 2010. Elsevier. 10.1016/j.entcs.2010.08.030

5. J. Barnes. SPARK - The Proven Approach to High Integrity Software. Altran Praxis Ltd 2012. J. Barnes. SPARK - The Proven Approach to High Integrity Software. Altran Praxis Ltd 2012.