FORMAL - A formula manipulation language
FORMAL programming system with language capability for performing symbolic algebraic manipulations
SEARCH · Engineering Papers
Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
FORMAL programming system with language capability for performing symbolic algebraic manipulations
Describing experimental on-line interactive symbolic prototype Scope FORMAC language implemented on IBM 2250 graphic display unit
Programming language for advanced translator writing system
High level computer programming language /SAMPLE/ and parallel processing system to implement it
FORTRAN-based version, FGRAAL, of graph algorithmic language GRAAL
Computer language for implementation of graphic theoretical algorithms
Higher order programming language and compiler for advanced computer software system to be used with manned space flights between 1972 and 1980
Description and implementation of HAL programming language for use with future manned space flights
Development of test and flight engineer language for space shuttle system
Briefing aids used for oral presentation describing development of test and flight engineer oriented computer language for space shuttle system
Development of computer programming language for use on space shuttle
Development of standard language for test and ground operations involving space shuttle ground support equipment
MOBSSL-UAF block structured simulation language for digital and hybrid computers
Computer memory reduction through Fortran higher level language, discussing tradeoff between costs saved and additional logic hardware
Programming language for computerized circuit design and analysis, considering techniques for input statements translation
Microprogramming by Computer Design Language for describing digital computer functional configuration and sequential operation
User-oriented conversational language computer program for Jet Propulsion Laboratory digital control random excitation environmental test system for spacecraft
Time-bounded grammars and languages capable of simulation by Turing acceptors in automata theory