Control Flow Analysis for SF Combinator Calculus
Martin Lester
Book Title
Proceedings of the Third International Workshop on Verification and Program Transformation‚ VPT@ETAPS 2015‚ London‚ United Kingdom‚ 11th April 2015.
Editor
Alexei Lisitsa and Andrei P. Nemytykh and Alberto Pettorossi
Pages
51–67
Series
EPTCS
Volume
199
Year
2015