follow Dictionary.com

Stories We Like: Novels For Language Lovers

Marvin

[mahr-vin] /ˈmɑr vɪn/
noun
1.
a male given name.
Dictionary.com Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2014.
Cite This Source
Marvin in Technology


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].

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of the Day

Word Value for Marvin

0
0
Scrabble Words With Friends

Quotes with Marvin

Nearby words for marvin