formula1. In logic, a sequence of symbols representing terms, predicates, connectives and quantifiers which is either true or false.
2. FORTH Music Language. An extension of FORTH with concurrent note-playing processes. Runs on Macintosh and Atari ST with MIDI output.["Formula: A Programming Language for Expressive Computer Music", D.P. Anderson et al Computer 24(7):12 (Jul 1991)]. 3. Preprocessor language for the Acorn Archimedes, allowing inline high-level statements to be entered in an assembly program. Written in nawk.
form function ♦ FORML ♦ forms ♦ formula ♦ Formula ALGOL ♦ Forsythe ♦ FORTH
Try this search on Wikipedia, Wiktionary, Google, OneLook.