Specifications as search keys for software libraries : a case study using Lambda Prolog
暂无分享,去创建一个
[1] Barbara Liskov,et al. Guardians and Actions: Linguistic Support for Robust, Distributed Programs , 1983, TOPL.
[2] James J. Horning,et al. The Larch Family of Specification Languages , 1985, IEEE Software.
[3] Hans H. Kron,et al. Programming-in-the-Large Versus Programming-in-the-Small , 1975, IEEE Transactions on Software Engineering.
[4] Władysław Turski,et al. The specification of computer programs , 1987 .
[5] David Robson,et al. Smalltalk-80: The Language and Its Implementation , 1983 .
[6] Malcolm P. Atkinson,et al. PS-algol: an algol with a persistent heap , 1982, SIGP.
[7] Colin Runciman,et al. Retrieving re-usable software components by polymorphic type , 1989, Journal of Functional Programming.
[8] Michael McGill,et al. Introduction to Modern Information Retrieval , 1983 .
[9] Jeff Conklin,et al. Hypertext: An Introduction and Survey , 1987, Computer.
[10] Mikael Rittri,et al. Using types as search keys in function libraries , 1989, Journal of Functional Programming.
[11] José Meseguer,et al. EQLOG: Equality, Types, and Generic Modules For Logic Programming , 1986, Logic Programming: Functions, Relations, and Equations.
[12] Maurice Herlihy,et al. Inheritance of synchronization and recovery properties in Avalon/C++ , 1988, Computer.
[13] Donald E. Knuth,et al. Literate Programming , 1984, Comput. J..
[14] David Lorge Parnas,et al. On a 'Buzzword': Hierarchical Structure , 2001, IFIP Congress.
[15] Alexander A. Stepanov,et al. The Ada® Generic Library , 1989, Springer Compass International.
[16] David C. J. Matthews,et al. Poly manual , 1985, SIGP.
[17] Robin Milner,et al. Definition of standard ML , 1990 .