Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

formula

You are here: irt.org | FOLDOC | 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.

Nearby terms: form function « FORML « forms « formula » Formula ALGOL » Forsythe » FORTH

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb