Source : Free On-Line Dictionary of Computing

MARVIN
     
        U Dortmund, 1984.  Applicative language based on Modula-2,
        enhanced by signatures (grammars) terms (trees) and attribute
        couplings (functions on trees).  Used for specification of
        language translators.
     
        ["MARVIN - A Tool for Applicative and Modular Compiler
        Specification", H.  Ganziger et al, Forsch 220, U Dortmund,
        Jul 1986].