Run-Time Abstraction Services