共 50 条
- [4] Automatic parallelization for distributed memory machines using genetic programming [J]. PARALLEL COMPUTING: FUNDAMENTALS, APPLICATIONS AND NEW DIRECTIONS, 1998, 12 : 297 - 300
- [5] Effectiveness of abstract interpretation in automatic parallelization: A case study in logic programming [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (02): : 189 - 239
- [7] A HYPERTEXT FOR LITERATE PROGRAMMING [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 468 : 250 - 259
- [9] Formalization and 'literate' programming [J]. APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 39 - 44