On the Formalization of Programming Languages: Early History and Main Approaches

作者: Peter Lucas

DOI: 10.1007/3-540-08766-4_8

关键词: Programming languageThird-generation programming languageInductive programmingProgramming language theoryFunctional logic programmingComparison of multi-paradigm programming languagesSecond-generation programming languageComputer scienceFifth-generation programming languageDeclarative programming

摘要: The paper discusses the nature of subject, and summarizes its origins. main approaches their interrelationships are discussed. author's view on long short range objectives is presented.

参考文章(0)