Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Tachio Terauchi
Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
ACM SIGPLAN Notices
Computer Science
Relatively Complete Refinement Type System for Verification of Higher-Order Non-Deterministic Programs
Proceedings of the ACM on Programming Languages
Flow-Sensitive Type Qualifiers
ACM SIGPLAN Notices
Flow-Sensitive Type Qualifiers
