Linking the Behavioral and Structural Domains of Representation in a Synthesis System

Publisher Website

1 January 1985

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/dac.1985.1585968

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

Symbolic Debugging of Optimized Code
ACM Transactions on Programming Languages and Systems, 1982