Abstract: Astract: In this paper attributed grammars and their application to compiler construction are presented. The attributed grammars are a well suitable tool for describing semantic properties of programming languages. GAG-System is a compiler generator based on attributed grammars. In this paper we briefly present the attributed grammars, GAGSystem and its input language ALADIN, and then give a method for formally specifying semantic properties of programming languages scope rules, types, type checking, and operator overloading by means of ALADIN. In the end, we enumerate the commands of generating scanner, parser, compiler and compiler running under VAX/VMS.