A time-aware type system for data-race protection and guaranteed initialization