Code generation based on formal BURS theory and heuristic search

A. Nymeyer, J.-P. Katoen

Research output: Contribution to journal › Article › Academic › peer-review

20 Citations (Scopus)

259 Downloads (Pure)

20 Citations
1 Report

1 results

1995
Code Generation based on formal BURS theory and heuristic search
Nymeyer, A. & Katoen, J. P., 1995, Enschede: University of Twente. 40 p. (Memoranda Informatica; no. 95-42)(Memorandum TIOS; no. 95-16)
Research output: Book/Report › Report › Academic