ASAP - A Simple Assertion Pre-processor

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 33, Issue 12, 1998, Pages 44-51

  Curcio, Igor D D ^a  

^a NOKIA RESEARCH CENTER   (United States)

Author keywords

Assertions; Pre processor; Programming Techniques; Software Contract; Software Engineering

Indexed keywords

EID: 0346877024     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/307824.307859     Document Type: Article

References (13)

1. rd ed., Springer-Verlag, 1996
2. E.W. Dijkstra, A Discipline of Programming, Prentice-Hall, 1976
3. R.W. Floyd, "Assigning Meanings to Programs", in J.T. Schwartz (ed.), Proc. of Symposia in Appl. Math., Math. Aspects of Computer Science, American Math. Society, Vol. 19, Apr. '67, pp. 19-32
4. C.A.R. Hoare, "An Axiomatic Basis for Computer Programming", CACM, Vol. 12, No. 10, Oct. '69, pp. 576-580, 583
5. J.P. LeJacq, "Semantic Based Design Guidelines for Object Oriented Programs", JOOP, June '91
6. J.P. LeJacq, "Function Preconditions in Object Oriented Software", ACM SIGPLAN Notices, Vol. 26, No. 10, Oct. '91, pp. 13-18
7. B. Liskov and J. Guttag, Abstractions and Specification in Program Development, MIT Press, 1986
8. M.A. Marin, "Effective Use of Assertions in C++", ACM SIGPLAN Notices, Vol. 31, No. 11, Nov. '96, pp. 28-32
9. B. Meyer, "Programming as Contracting", TR-EI-12/C0 Ver. 2, Interactive Software Engineering, 1988
10. B. Meyer, Eiffel: The Language, Prentice-Hall, 1992
11. B. Meyer, "Applying 'Design by Contract'", IEEE Computer, Vol. 25, No. 10, Oct. '92, pp. 40-51
12. D.S. Rosenblum, "A Practical Approach to Programming with Assertions", IEEE TSE, Vol. 21, No. 1, Jan. '95, pp. 19-31
13. J.F.H. Winkler and S. Kauer, "Proving Assertions is also Useful", ACM SIGPLAN Notices, Vol. 32, No. 3, Mar. '97, pp. 38-41