search

ngsankha / rbsyn

Program synthesis for Ruby
BSD 3-Clause "New" or "Revised" License
94 stars 4 forks source link

ideas from separation logic #31

Open ngsankha opened 4 years ago

ngsankha commented 4 years ago

ideas from separation logic could help in more optimizations of our approach. Read the paper Structuring the synthesis of heap-manipulating programs for inspiration.