Making address space semantic