Method and tools for compiler construction