摘要: Description de la conception et l'implementation d'un simulateur PDP11 portable, totalement fidele qui pourrait etre utilise pour portabilite systeme d'exploitation UNIX a un nouvel ordinateur cible, sans le besoin developpement fonctionnant deja sur
sci-hub.se 参考文章(2)
B. G. Ryder, The pfort verifier Software: Practice and Experience. ,vol. 4, pp. 359- 377 ,(1974) , 10.1002/SPE.4380040405
P. J. Brown, Throw-away compiling Software: Practice and Experience. ,vol. 6, pp. 423- 434 ,(1976) , 10.1002/SPE.4380060316