Implement forward slicing

jstolarek / slicer

Companion code for paper "Imperative Functional Programs that Explain their Work", Wilmer Ricciotti, Jan Stolarek, Roly Perera and James Cheney, ICFP 2017, Oxford, UK

http://dl.acm.org/citation.cfm?id=3110258

GNU General Public License v3.0

6 stars 0 forks source link

Implement forward slicing #45

Open jstolarek opened 7 years ago

jstolarek commented 7 years ago

We're not implementing forward slicing before the deadline.

[x] new language primitive for forward slicing
[ ] forward slicing rules

jstolarek commented 7 years ago

Work started on js-T45-forward-slicing.