Author:
Anand Christopher Kumar,Kahl Wolfram
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. SLEEF: A Portable Vectorized Library of C Standard Mathematical Functions;IEEE Transactions on Parallel and Distributed Systems;2020-06-01
2. Semantics-Preserving DPO-Based Term Graph Rewriting;Electronic Proceedings in Theoretical Computer Science;2019-02-06
3. A Domain-Specific Architecture for Elementary Function Evaluation;International Journal of Mathematics and Mathematical Sciences;2015
4. Towards “mouldable code” via nested code graph transformation;Journal of Logical and Algebraic Methods in Programming;2014-03
5. Dependently-Typed Formalisation of Typed Term Graphs;Electronic Proceedings in Theoretical Computer Science;2011-02-11