Skip to main content

A type−directed abstraction refinement approach to higher−order model checking

Steven James Ramsay‚ Robin P. Neatherway and C.−H. Luke Ong

Book Title
The 41st Annual ACM SIGPLAN−SIGACT Symposium on Principles of Programming Languages‚ POPL '14‚ San Diego‚ CA‚ USA‚ January 20−21‚ 2014
Editor
Suresh Jagannathan and Peter Sewell
ISBN
978−1−4503−2544−8
Pages
61−72
Publisher
ACM
Year
2014