Software templates
暂无分享,去创建一个
[1] Mitchell Wand,et al. Continuation-Based Program Transformation Strategies , 1980, JACM.
[2] Richard B. Kieburtz. Precise typing of abstract data type specifications , 1983, POPL '83.
[3] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[4] Abha Moitra. Direct Implementation of Algebraic Specification of Abstract Data Types , 1982, IEEE Transactions on Software Engineering.
[5] Richard G. Hamlet,et al. Data Abstraction, Implementation, Specification, and Testing , 1981, TOPL.
[6] Bjarne Stroustrup,et al. C++ Programming Language , 1986, IEEE Softw..
[7] D. Gordon. General chairman's message , 1980 .
[8] Manfred Broy,et al. Program Development as a Formal Activity , 1981, IEEE Transactions on Software Engineering.
[9] Ellis Horowitz,et al. Abstract data types and software validation , 1978, CACM.
[10] Christoph M. Hoffmann,et al. Programming with Equations , 1982, TOPL.
[11] Jonathan C. Shultis,et al. Transformations of FP program schemes , 1981, FPCA '81.
[12] Rod M. Burstall,et al. HOPE: An experimental applicative language , 1980, LISP Conference.
[13] Stephen N. Zilles,et al. Programming with abstract data types , 1974 .
[14] David L. Kuck,et al. The Structure of Computers and Computations , 1978 .