[C#] переменная времени выполнения и времени компиляции ?

---

namespace CSharp_Practicing
{

    class Program
    {

        static void Main(string[] args)
        {
            Animal a = new Dog(); // THE QUESTION IS ABOUT THIS VARIABLE !!!
        }
    }

    class Animal { }
    class Dog : Animal
    {
        public void SayBau()
        {
            Console.WriteLine("Baaaaaau");
        }
    }
    class Cat : Animal
    {
        public void SayMaw()
        {
            Console.WriteLine("Mawwwwwwwwwwwww");
        }
    }
}

Переменная a во время компиляции имеет тип Animal, а во время выполнения - тип Dog ? Прав ли я или понимаю это неправильно ?

Что я уже пробовал:

Задавая вопрос здесь в CodeProject.com

---