Csdl: reusable computing system descriptions for retargetable systems software
作者： Jack W. Davidson , Mark W. Bailey
DOI:
关键词:
摘要:
acm.org 参考文章(63)
M. Gschwind, E.R. Altman, S. Sathaye, P. Ledak, D. Appenzeller, Dynamic and transparent binary translation Computer. ,vol. 33, pp. 54- 59 ,(2000) , 10.1109/2.825696
R. G. Cattell, Automatic Derivation of Code Generators from Machine Descriptions ACM Transactions on Programming Languages and Systems. ,vol. 2, pp. 173- 190 ,(1980) , 10.1145/357094.357097
Mahadevan Ganapathi, Charles N. Fischer, Description-driven code generation using attribute grammars Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82. pp. 108- 119 ,(1982) , 10.1145/582153.582165
E. Schmidt, M. E. Lesk, Lex—a lexical analyzer generator UNIX Vol. II. pp. 375- 387 ,(1990)
Mark W. Bailey, Jack W. Davidson, Target-sensitive construction of diagnostic programs for procedure calling sequence generators programming language design and implementation. ,vol. 31, pp. 249- 257 ,(1996) , 10.1145/231379.231431
Alfred V Aho, Anton T Dahbura, David Lee, M Umit Uyar, None, An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours IEEE Transactions on Communications. ,vol. 39, pp. 1604- 1615 ,(1991) , 10.1109/26.111442
Stephen C. Johnson, Murray Hill, Yacc : Yet Another Compiler Compiler UNIX Programmer's Manual. ,vol. 2, pp. 353- 387 ,(1978)
D.P. Sidhu, T.-K. Leung, Formal methods for protocol testing: a detailed study IEEE Transactions on Software Engineering. ,vol. 15, pp. 413- 426 ,(1989) , 10.1109/32.16602
T.A. Cook, E. Harcourt, A functional specification language for instruction set architectures international conference on computational logistics. pp. 11- 19 ,(1994) , 10.1109/ICCL.1994.288397
Norman Ramsey, Mary F. Fernandez, The New Jersey machine-code toolkit usenix annual technical conference. pp. 24- 24 ,(1995)