A metacompiler is a computer program that reads as input a metalanguage program in which a programming language specification of the syntax of a programming language plus a its semantic equivalent transformation to object code, i.e. of its equivalent in terms of a target language.
A metacompiler is a computer program. This computer program reads as input a metalanguage program in which a programming language specification of the syntax of a programming language plus a its semantic equivalent transformation to object code in terms of a target language. Code is i.e. of its equivalent.