First Steps Towards Inferential Programming

摘要: Our basic premise is that the ability to construct and modify programs will not improve without a new comprehensive look at entire programming process. Past theoretical research, say, in logics of programs, has tended focus on methods for reasoning about individual programs; little been done, it seems us, develop sound understanding process — by which evolve concept practice. At present, we lack means describe techniques program construction improvement ways properly link verification, documentation adaptability.