A declarative approach to incremental custom computing | IEEE Conference Publication | IEEE Xplore