18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers Michael Hanus. benchmark original BTA logen specialised ecce specialised runtime analysis spec. time runtime spec. time runtime contains.kmp 0.18 0.01 0.002 0.18 0.11 0.02 ... The experiments were run on a MacBook Pro with a 2.33 GHz Core2 Duo Processor and 3 GB of RAM. Our BTA wasanbsp;...
|Title||:||Logic-Based Program Synthesis and Transformation|
|Publisher||:||Springer - 2009-03-04|