泛型论文

支持泛型程序设计的APLA-Delphi自动程序转换系统
石海鹤[1]2004年在《支持泛型程序设计的Apla-Java自动程序转换系统》文中研究指明从“软件危机”爆发至今，人们提出了很多新方法和新工具，这些方法和工具致力于解决“软件危机”的各个方面。但现有的这些解决方案并没有使人们彻底地从“软件危机”中解脱出来。用形式化方法开发正确、高效的算法程序，被当...