The Free On-line Dictionary of Computing (30 December 2018):

IF1

    A graph language used as an intermediate language
   for dataflow hardware.  Used by the OSC SISAL compiler.

   ["The Manchester Prototype Dataflow Computer", J.R. Gurd et
   al, CACM 28(1):34-52, Jan 1985].

   (1996-01-05)