The Death of Computer Languages, The Birth of Intentional Programming

作者: Charles Simonyi

DOI:

关键词:

摘要: IP is currently under development at Microsoft Research. Several US Patents have been applied for, covering various aspects of the system. The system achieved complete self-sufficiency March 1, 1995, and since then all further has performed in itself. size as September 1995 was about 1.7M nodes (intention instances) source tree. Plans include creation component libraries; support additional legacy languages, such C++; operational use elsewhere within company; finally productization before year 2000. This paper presents idea intention an abstraction mechanism, integrated which may be used to develop systems using intentions. Software encoded intentionally can said immortal, that its meaning sustained independently long term progress programming notation implementation techniques. independence intentions might well create first a market abstractions or “language features”, followed by sought-after dream software componentry market. Legacy code into new paradigm with minimal no loss information there are considerable prospects for “hot” re-engineering continuous improvement, while kept operating condition.

参考文章(26)
William G. Griswold, Robert W. Bowdidge, Program Restructuring via Design-Level Manipulation ICSE '93 Selected papers from the Workshop on Studies of Software Design. pp. 127- 139 ,(1993) , 10.1007/BFB0030525
William L. Scherlis, Abstract datatypes, specialization, and program reuse Proceedings of an International Workshop on Advanced Programming Environments. pp. 433- 453 ,(1986) , 10.1007/3-540-17189-4_112
D. M. Volpano, R. B. Kieburtz, The templates approach to software reuse Software reusability: vol. 1, concepts and models. pp. 247- 255 ,(1989) , 10.1145/73103.73112
M. J. Kaelbling, Programming languages should NOT have comment statements Sigplan Notices. ,vol. 23, pp. 59- 60 ,(1988) , 10.1145/51607.51609
Robert B. K. Dewar, Micha Shirar, Elia Weixelbaum, Transformational Derivation of a Garbage Collection Algorithm ACM Transactions on Programming Languages and Systems. ,vol. 4, pp. 650- 667 ,(1982) , 10.1145/69622.357188
Paul W. Abrahams, Typographical extensions for programming languages ACM SIGPLAN Notices. ,vol. 28, pp. 61- 68 ,(1993) , 10.1145/157352.157359
David L Parnas, John E Shore, W David Elliott, None, On the need for fewer restrictions in changing compile-time environments Sigplan Notices. ,vol. 10, pp. 29- 36 ,(1975) , 10.1145/954598.954601
Don Batory, Sean O'Malley, The design and implementation of hierarchical software systems with reusable components ACM Transactions on Software Engineering and Methodology. ,vol. 1, pp. 355- 398 ,(1992) , 10.1145/136586.136587
Robert D. Cameron, Efficient high-level iteration with accumulators ACM Transactions on Programming Languages and Systems. ,vol. 11, pp. 194- 211 ,(1989) , 10.1145/63264.63401
Sten Minör, Interacting with structure-oriented editors International Journal of Human-computer Studies \/ International Journal of Man-machine Studies. ,vol. 37, pp. 399- 418 ,(1992) , 10.1016/0020-7373(92)90002-3