Subdivided procedures: a language extension supporting extensible programming | IEEE Conference Publication | IEEE Xplore