carving

n 1: an object created by carving (as wood or ivory or stone)

2: cutting away parts to create a desired shape [syn: {cutting}]

3: making figures or designs in three dimensions [syn: {sculpture}]

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