Lockheed Environment For Automatic Programming | IEEE Conference Publication | IEEE Xplore