|
СТ |
Specifying Instruction-Set Architectures in HOL: A Primer |
1994 |
Windley P. J. |
|
|
|
Lecture Notes in Computer Science |
24.11.1994 |
|
СТ |
Toward a Super Duper Hardware Tactic |
1994 |
Aagaard M. D., Leeser M. E., Windley P. J. |
|
|
|
Lecture Notes in Computer Science |
21.06.1994 |
|
СТ |
Abstraction Techniques for Modeling Real-World Interface Chips |
1994 |
Fura D. A., Windley P. J., Somani A. K. |
|
|
|
Lecture Notes in Computer Science |
18.06.1994 |
|
СТ |
A Theory of Generic Interpreters |
1993 |
Windley P. J. |
|
|
|
Lecture Notes in Computer Science |
29.06.1993 |
