Site Contents
Main Page
Proceedings
Programme
Important Dates
Invited Speakers
Scope
Submission
Publication
Program Committee
Contact Details
Rabbit Credits
Related Links
RHUL
LiCS 2013
EPSRC
Related Logos
HOPA
Workshop on Higher-Order Program Analysis
Tulane University, New Orleans, USA
28th-29th June, hosted by LiCS 2013
http://hopa.cs.rhul.ac.uk
Workshop Proceedings
Tutorial: Type-Based Analysis of Higher-Order Programs
Niki Vazou, Patrick M. Rondon, Eric Seidel, Ranjit Jhala
On Generating Constraints for Refinement Type Inference
Ruslán Ledesma-Garza, Andrey Rybalchenko
Higher-Order Program Verification as Satisfiability Modulo Theories with Algebraic Data-Types
Nikolaj Bjørner, Ken McMillan, Andrey Rybalchenko
Linear Dependent Types for Domain Specific Program Analysis
Marco Gaboardi
Concrete Semantics for Pushdown Analysis: The Essence of Summarization
J. Ian Johnson, David Van Horn
Böhm Trees as Higher-Order Recursive Schemes
P. Clairambault, A. S. Murawski
An Abstraction Refinement Approach to Higher-Order Model Checking
Steven J. Ramsay, Robin P. Neatherway, C.-H. Luke Ong
Towards Tree Automata-Based Success Types
Robert Jakob, Peter Thiemann
