FORMAL




1. FORmula MAnipulation Language.

An early Fortran extension for symbolic mathematics.

["FORMAL, A Formula Manipulation Language", C.K. Mesztenyi, Computer Note CN-1, CS Dept, U Maryland (Jan 1971)].

2.

A data manipulation language for nonprogrammers from IBM LASC.

["FORMAL: A Forms-Oriented and Visual-Directed Application System", N.C. Shu, IEEE Computer 18(8):38-49 (1985)].



< Previous Terms Terms Containing FORMAL Next Terms >
fork bomb
forked
for loop
FORM
FORMAC
56 kbps
abstract machine
acceptance testing
actual argument
A Language for Attributed Definitions
formal argument
Formal Description Technique
formal methods
Formal Object Role Modeling Language
formal review