Formula
1. In logic, a sequence of symbols representing terms, predicates,
connectives and
quantifiers which is either true or false.
2. <language, music> 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.
