Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Steve M. Shaner
Modular Verification of Higher-Order Methods With Mandatory Calls Specified by Model Programs
ACM SIGPLAN Notices
Computer Science
Modular Verification of Higher-Order Methods With Mandatory Calls Specified by Model Programs
Related publications
Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Relatively Complete Refinement Type System for Verification of Higher-Order Non-Deterministic Programs
Proceedings of the ACM on Programming Languages
Modular Verification of Programs With Effects and Effect Handlers in Coq
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Practical Type Analysis for Verification of Modular Prolog Programs
Automated Techniques for Higher-Order Program Verification
Progress in Informatics
Compositional Verification of Reactive Systems Specified by Graph Transformation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order
ACM SIGPLAN Notices
Computer Science
Modular Verification of Security Protocol Code by Typing
ACM SIGPLAN Notices
Computer Science
