Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hiroshi Unno
Relatively Complete Refinement Type System for Verification of Higher-Order Non-Deterministic Programs
Proceedings of the ACM on Programming Languages
Related publications
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
Automated Techniques for Higher-Order Program Verification
Progress in Informatics
Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Strong Non-Interference and Type-Directed Higher-Order Masking
Towards Strong Higher-Order Automation for Fast Interactive Verification
A Practical Type Analysis for Verification of Modular Prolog Programs
Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order
ACM SIGPLAN Notices
Computer Science
Higher-Order Unification Revisited: Complete Sets of Transformations
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
