Control-Flow Semantics for Assembly-Level Data-Flow Graphs-Reference-Cited by-同舟云学术

Control-Flow Semantics for Assembly-Level Data-Flow Graphs

Published:2006 Issue: Volume: Page:147-160
ISSN:0302-9743
Container-title:Relational Methods in Computer Science
language:
Short-container-title:

Author:

Kahl Wolfram,Anand Christopher K.,Carette Jacques

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11734673_12

Reference14 articles.

1. Allan, V.H., Jones, R.B., Lee, R.M., Allan, S.J.: Software pipelining. ACM Comput. Surv. 27(3), 367–432 (1995)

2. Anand, C.K., Carette, J., Kahl, W., Gibbard, C., Lortie, R.: Declarative Assembler. SQRL Report 20, Software Quality Research Laboratory, McMaster University (2004), available from: http://sqrl.mcmaster.ca/sqrl_reports.html

3. Coccia, M., Gadducci, F., Corradini, A.: GS-Λ Theories: A Syntax for Higher-Order Graphs. Program Construction 69(18) (1979)

4. Corradini, A., Gadducci, F.: An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories. Applied Categorical Structures 7(4), 299–331 (1999)

5. Corradini, A., Gadducci, F.: Functorial Semantics for Multi-Algebras and Partial Algebras, with Applications to Syntax. Theoretical Computer Science 286(2), 293–322 (2002)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Semantics-Preserving DPO-Based Term Graph Rewriting;Electronic Proceedings in Theoretical Computer Science;2019-02-06

2. A Simple Parallel Implementation of Interaction Nets in Haskell;Electronic Proceedings in Theoretical Computer Science;2015-04-10

3. Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code;Applications of Graph Transformations with Industrial Relevance;2008