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