VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

C
Collapsible Pushdown Systems	Saturation of Concurrent Collapsible Pushdown Systems (Extended Abstract)
concurrency	Saturation of Concurrent Collapsible Pushdown Systems (Extended Abstract)
Control Flow Analysis	Environment Unrolling Strong Function Call
E
exponential modality	The modal nature of colors in higher-order model-checking
H
Higher Order Program Analysis	Environment Unrolling Strong Function Call
higher-order	Saturation of Concurrent Collapsible Pushdown Systems (Extended Abstract)
J
JavaScript	Analyzing JavaScript: The Bad Parts
L
linear logic	The modal nature of colors in higher-order model-checking
O
Ordered	Saturation of Concurrent Collapsible Pushdown Systems (Extended Abstract)
P
parametric comonads	The modal nature of colors in higher-order model-checking
Phase-bounded	Saturation of Concurrent Collapsible Pushdown Systems (Extended Abstract)
Pushdown Systems	Saturation of Concurrent Collapsible Pushdown Systems (Extended Abstract)
R
Recursion Schemes	Saturation of Concurrent Collapsible Pushdown Systems (Extended Abstract)
S
Scope-bounded	Saturation of Concurrent Collapsible Pushdown Systems (Extended Abstract)
Sound	Analyzing JavaScript: The Bad Parts
Static Analysis	Environment Unrolling Strong Function Call Analyzing JavaScript: The Bad Parts
T
Tensorial logic	The modal nature of colors in higher-order model-checking

Disclaimer | Powered by EasyChair Smart Program