TY - CPAPER AU - Luk,W EP - 172 PB - IEEE Computer Society Press PY - 1995/// SP - 164 TI - A declarative approach to incremental custom computing ER -