Cleaning Up: Garbage-Free Reversible Circuits by Design Languages | IEEE Conference Publication | IEEE Xplore