Author:
Ayala-Rincón Mauricio,Neto Rinaldi Maya,Jacobi Ricardo P.,Llanos Carlos H.,Hartenstein Reiner W.
Subject
General Computer Science,Theoretical Computer Science
Reference17 articles.
1. Arvind and X. Shen. Using Term Rewriting Systems to Design and Verify Processors. Technical Report 419, Laboratory for Computer Science - MIT, 1999. Also in IEEE Micro Special Issue on “Modeling and Validation of Microprocessors”, 1999.
2. Designing Arithmetic Digital Circuits via Rewriting-Logic;Ayala-Rincón,2002
3. Term Rewriting and All That;Baader,1998
4. An overview of ELAN;Borovanský,1998
5. Combining Higher-Order and First-Order Computation Using ρ-Calculus: Towards a Semantics of ELAN;Cirstea,1999
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献