Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

4.11 - 1251 ratings - Source

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
Author:Michael Hanus
Publisher:Springer - 2009-03-04


You Must CONTINUE and create a free account to access unlimited downloads & streaming