| 61 |
Sentence Disambiguation by a Shift-Reduce Parsing Technique
|
|
|
|
In: DTIC (1983)
|
|
BASE
|
|
Show details
|
|
|
| 62 |
An Overview of the Nigel Text Generation Grammar.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
|
| 63 |
Solving Uninterpreted Equations with Context Free Expression Grammars
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
|
| 64 |
Language Processing for Speech Understanding.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
|
| 66 |
Simple Metrics for Programming Languages.
|
|
|
|
In: DTIC AND NTIS (1982)
|
|
Abstract:
Several metrics for guiding the design and evaluation of programming languages are introduced. The objective is to formalize notions such as 'size', 'complexity', 'orthogonality', and 'simplicity'. Three different kinds of metrics are describes: syntactic, semantic, and transformational. Syntactic metrics are based on the size of a context-free grammar for a language or a part of a language. They can be used to judge the size of a language and the relative sizes of its parts. These techniques are demonstrated by their application to Pascal, Algol-60, and Ada. Syntactic metrics make no reference to the meaning of a language's constructs. For this purpose we have developed several semantic metrics that measure the interdependencies among the basic semantic ideas in a language. This technique has been applied to the control, data, and name structures of FORTRAN, BASIC, Lisp, Algol-60, and Pascal. Finally, we suggest that a useful measure of a programming language is the complexity of the relationship between its syntactic and semantic structures. For this purpose we introduce a transformational metric and demonstrate its use on subsystems of several languages.
|
|
Keyword:
*METRIC SYSTEM; *PROGRAMMING LANGUAGES; Computer Programming and Software; CONTEXT FREE GRAMMARS; Equipment and Methods; ORTHOGONALITY; PE61152N; SEMANTICS; SIZES(DIMENSIONS); SYNTAX; Test Facilities; TRANSFORMATIONS
|
|
URL: http://www.dtic.mil/docs/citations/ADA121282
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA121282
|
|
BASE
|
|
Hide details
|
|
|
| 67 |
O (log N) Time Recognition of Deterministic CLFs.
|
|
|
|
In: DTIC AND NTIS (1982)
|
|
BASE
|
|
Show details
|
|
|
| 68 |
Fuzzy Sets as a Basis for Information Analysis.
|
|
|
|
In: DTIC AND NTIS (1979)
|
|
BASE
|
|
Show details
|
|
|
| 69 |
Axiomatic Specification of Syntax-Directed Translation.
|
|
|
|
In: DTIC AND NTIS (1978)
|
|
BASE
|
|
Show details
|
|
|
| 70 |
Inference of High Dimensional Grammars.
|
|
|
|
In: DTIC AND NTIS (1978)
|
|
BASE
|
|
Show details
|
|
|
| 71 |
An LALR(1) Parser Grammar for FORTRAN.
|
|
|
|
In: DTIC AND NTIS (1978)
|
|
BASE
|
|
Show details
|
|
|
| 72 |
SPADE: A Grammar Based Editor for Planning and Debugging Programs
|
|
|
|
In: DTIC AND NTIS (1976)
|
|
BASE
|
|
Show details
|
|
|
| 73 |
Analysis of Languages for Man-Machine Voice Communication
|
|
|
|
In: DTIC AND NTIS (1976)
|
|
BASE
|
|
Show details
|
|
|
| 74 |
Applications of Pattern Theory to Problems in Computer Science.
|
|
In: DTIC AND NTIS (1976)
|
|
BASE
|
|
Show details
|
|
|
| 75 |
A Concise Extensible Metalanguage for Translator Implementation
|
|
|
|
In: DTIC AND NTIS (1976)
|
|
BASE
|
|
Show details
|
|
|
| 76 |
A Linguistic Approach to Automatic Theorem Proving.
|
|
|
|
In: DTIC AND NTIS (1976)
|
|
BASE
|
|
Show details
|
|
|
| 77 |
A Concise Extensible Metalanguage for Translator Implementation.
|
|
|
|
In: DTIC AND NTIS (1976)
|
|
BASE
|
|
Show details
|
|
|
| 78 |
Understanding Natural Language Using a Variable Grammar.
|
|
|
|
In: DTIC AND NTIS (1975)
|
|
BASE
|
|
Show details
|
|
|
| 79 |
On the Complexity of Finite, Pushdown, and Stack Automata.
|
|
|
|
In: DTIC AND NTIS (1975)
|
|
BASE
|
|
Show details
|
|
|
| 80 |
Grammatical Inference by Heuristic Search.
|
|
|
|
In: DTIC AND NTIS (1974)
|
|
BASE
|
|
Show details
|
|
|
|
|
