Code generation based on formal BURS theory and heuristic search

A. Nymeyer
, J.-P. Katoen

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

23 Citations (Scopus)

373 Downloads (Pure)

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