Conference ProceedingsOPEN ACCESS

Efficient search as a means of executing specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1996) 1055 70-86
DOI: 10.1007/3-540-61042-1_39
1Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

The utility of directly executing formal specifications is briefly touched upon and the concept of exhaustive search as a means of execution is introduced. A mechanism for improving the efficiency of such searches is presented in some detail. Finally, the results of an implementation of the mechanism are presented.

Author supplied keywords

Cite

CITATION STYLE

APA

Damon, C. A., & Jackson, D. (1996). Efficient search as a means of executing specifications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1055, pp. 70–86). Springer Verlag. https://doi.org/10.1007/3-540-61042-1_39

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free