Run-time consistency checking of algebraic specifications

Proceedings of the Symposium on Testing, Analysis, and Verification, TAV 1991

Volumn , Issue , 1991, Pages 123-129

  Sankar, Sriram ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT DATA TYPES; ALGEBRA; SPECIFICATION LANGUAGES; THEOREM PROVING;

ALGEBRAIC SPECIFICATIONS; RUNTIMES; THEOREM PROVERS;

SPECIFICATIONS;

EID: 84943282334     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/120807.120818     Document Type: Conference Paper

References (7)

1. J. Gannon, P. McMullin, and R. Hamlet. Data-abstraction implementation, specification, and testing. ACM Transactions on Programming Languages and Systems, 3(3):211-223, July 1981.
2. J. V. Guttag and J. J. Horning. The algebraic specification of abstract data types. Acta Informatica, 10:27-52, 1978.
3. D. E. Knuth and P. B. Bendix. Simple word problems in universal algebras. In John Leech, editor, Computational Problems in Abstract Algebra, pages 263-297, Pergamon Press, 1969.
4. David C. Luckham. Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs. Texts and Monographs in Computer Science, Springer-Verlag, October, 1990.
5. David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Bruckner, and Olaf Owe. ANNA, A Language for Annotating Ada Programs. Volume 260 of Lecture Notes in Computer Science, Springer-Verlag, 1987.
6. S. Sankar. Automatic Runtime Consistency Checking and Debugging of Formally Specified Programs. PhD thesis, Stanford University, August 1989. Also Stanford University Department of Computer Science Technical Report No. STAN-CS-89-1282, and Computer Systems Laboratory Technical Report No. CSL-TR-89-391.
7. S. Sankar and D. S. Rosenblum. The Complete Transformation Methodology for Sequential Runtime Checking of an Anna Subset. Technical Report 86-301, Computer Systems Laboratory, Stanford University, June 1986. (Program Analysis and Verification Group Report 30).