(Cat? OR feline) AND NOT dog?
Cat? W/5 behavior
(Cat? OR feline) AND traits
Cat AND charact*

This guide provides a more detailed description of the syntax that is supported along with examples.

This search box also supports the look-up of an IP.com Digital Signature (also referred to as Fingerprint); enter the 72-, 48-, or 32-character code to retrieve details of the associated file or submission.

Concept Search - What can I type?

For a concept search, you can enter phrases, sentences, or full paragraphs in English. For example, copy and paste the abstract of a patent application or paragraphs from an article.

Concept search eliminates the need for complex Boolean syntax to inform retrieval. Our Semantic Gist engine uses advanced cognitive semantic analysis to extract the meaning of data. This reduces the chances of missing valuable information, that may result from traditional keyword searching.

Publishing Venue

Related People

Abstract

The Implementers' Guide, tests, procedures, and tools together comprise the Ada Compiler Validation Capability, or ACVC. The ACVC effort began in September of 1979, well before finalization of the Ada standard; it is scheduled for completion in October 1981. The government has an option to extend this effort until April 1983. Research in this extension period would focus on improving compiler validation techniques.

Compiler validation tests are intended to show whether a compiler correctly implements a
particular programming language. Tests exist for several popular languages-Cobol,' Fortran,2
Pascal,3 and Algol.4 The tests we are developing will be used by DoD to enforce (and
encourage) correct implementations of Ada. 5

We are not, however, merely producing a set of test programs for validating Ada compilers; we
are defining the procedures for testing compilers and providing tools to make testing easier.

A unique part of our effort is the Ada Compiler Validation Implementers' Guide, or IG. This
document discusses the implications of the Ada standard, especially those that are not obvious
and those that may pose implementation difficulties. The analysis presented in the IG is needed
to design a comprehensive set of validation tests; this analysis will be available to implementers.
By helping implementers see potential problems, misinterpretations, and ramifications of the
Ada standard, we hope to encourage the development of conforming compilers, or at least
reduce the unintentional creation of nonconforming implementations.

Overview of the ACVC

The Implementers' Guide, tests, procedures, and tools together comprise the Ada Compiler
Validation Capability, or ACVC. The ACVC effort began in September of 1979, well before
finalization of the Ada standard; it is scheduled for completion in October 1981. The government
has an option to extend this effort until April 1983. Research in this extension period would
focus on improving compiler validation techniques.

Limitations of the ACVC.

Strictly speaking, any compiler containing an error is a nonconforming implemen- tation. It is
well known that "black box" tests-tests constructed without internal knowledge of the program
being tested-cannot detect all programming errors; therefore, it is highly unlikely that a validated
compiler (one that has passed all the tests) is free of errors. In addition, tests checking
adherence to a language standard do not address all aspects of a compiler that are of interest
to its purchasers and users. A purchaser may be interested, for example, in maintainability as
reflected by the compiler's modular structure, the quality of the documentation describing its
design and implementatio...