public class Foo.Parent : Object {
  public abstract int an_int { get; }
}

public class Foo.Child : Parent {
  public override int an_int { get { return 1; } }
}