Accession Number:

ADA164877

Title:

Executing Trace Specifications Using Prolog.

Descriptive Note:

Interim rept. Jan 84-Jun 85,

Corporate Author:

NAVAL RESEARCH LAB WASHINGTON DC

Report Date:

1986-01-21

Pagination or Media Count:

13.0

Abstract:

Trace specifications have some desirable properties that most specifications lack the are abstract, so they need not impose unnecessary constraints on the implementor and they are formal, so they can be understood unambiguously and can be rigorously tested for consistency, totalness, and correctness of implementation. Nevertheless, understanding trace specifications and translating them to computer programs are significant tasks. This report documents experiments in translating trace specifications to Prolog so that they can be executed directly. The seclection of Prolog over other possible languages is discussed, and several example specifications and their translations are presented. Some generally useful Prolog predicates are gleaned from these examples, and difficulties encountered in performing the translations are described. On the way, an implementation-free semantics for a subset of Prolog is given. The report concludes with a discussion of possibilities for mechanically translating trace specifications to Prolog. Keywords Logic programming. Author

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE