DE eng

Search in the Catalogues and Directories

Hits 1 – 18 of 18

1
Techniques for Automatically Generating Biographical Summaries from News Articles
In: DTIC (2007)
BASE
Show details
2
Computer Programs Supporting Instruction in Acoustics
In: DTIC AND NTIS (1998)
BASE
Show details
3
Implementing Voice Recognition and Natural Language Processing in the NPSNET Networked Virtual Environment.
In: DTIC AND NTIS (1996)
BASE
Show details
4
A Type Inference Algorithm And Transition Semantics For Polymorphic C.
In: DTIC AND NTIS (1996)
BASE
Show details
5
Towards an Implementation of Polymorphic C.
In: DTIC AND NTIS (1995)
BASE
Show details
6
ADA Implementation Issues as Discovered through a Literature Survey of Applications Outside the United States
In: DTIC AND NTIS (1992)
BASE
Show details
7
Turtle Graphics Implementation Using a Graphical Dataflow Programming Approach
In: DTIC AND NTIS (1992)
BASE
Show details
8
An Investigation of the Methodology for Software Translation from PASCAL to C of an Undocumented Microcomputer Program
In: DTIC AND NTIS (1990)
BASE
Show details
9
The Design and Implementation of a Syntax Directed Editor for the Specification Language Spec
In: DTIC AND NTIS (1989)
BASE
Show details
10
The Stylist: A Pascal Program for Analyzing Prose Style
In: DTIC AND NTIS (1987)
BASE
Show details
11
Accessing Hierarchical Databases Via SQL Transactions in a Multi-Model Database System.
In: DTIC AND NTIS (1987)
BASE
Show details
12
Accessing a Functional Database via CODASYL-DML Transactions.
In: DTIC AND NTIS (1987)
BASE
Show details
13
Lexical Translator from Arabic to Latin in Pascal Environment.
In: DTIC AND NTIS (1986)
BASE
Show details
14
The Implementation of a Functional/Daplex Interface for the Multi-Lingual Database System.
In: DTIC AND NTIS (1986)
BASE
Show details
15
The Four Forms of Omega
In: DTIC AND NTIS (1984)
BASE
Show details
16
A Simple, Natural Notation for Applicative Languages.
In: DTIC AND NTIS (1982)
BASE
Show details
17
Navlisp Reference Manual.
In: DTIC AND NTIS (1982)
BASE
Show details
18
Elements of Programming Linguistics. Part I. The Lambda Calculus and Its Implementation.
In: DTIC AND NTIS (1981)
Abstract: The lambda calculus is used as an introduction to programming language concepts, particularly the concepts of functional programming. Both interpreted and compiled implementations of an extended lambda calculus are discussed. They can be adopted to implementations of Pascal and Lisp. It is shown that traditional stack-based run-time structures can be directly derived from the reduction rules of the lambda calculus. (Author)
Keyword: *CALCULUS; *COMPUTER PROGRAMMING; *Lambda calculus; *LINGUISTICS; *PROGRAMMING LANGUAGES; Computer Programming and Software; FORMATS; LISP programming language; MULTIVARIATE ANALYSIS; PARAMETERS; PE61152N; SEMANTICS; Statistics and Probability; Structured programming; SYNTAX; TRANSLATIONS; VARIABLES
URL: http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA104345
http://www.dtic.mil/docs/citations/ADA104345
BASE
Hide details

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
18
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern