The following pages link to Tachio Terauchi (Q832227):
Displaying 19 items.
- Constraint-based relational verification (Q832229) (← links)
- Quantitative information flow as safety and liveness hyperproperties (Q2453117) (← links)
- Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement (Q2802457) (← links)
- Temporal verification of higher-order functional programs (Q2828245) (← links)
- Automating relatively complete verification of higher-order functional programs (Q2931785) (← links)
- Witnessing side-effects (Q2936773) (← links)
- Compositional Synthesis of Leakage Resilient Programs (Q3304821) (← links)
- Polymorphic Fractional Capabilities (Q3392918) (← links)
- Local temporal reasoning (Q4635644) (← links)
- A Fixpoint Logic and Dependent Effects for Temporal Property Verification (Q5145353) (← links)
- Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling (Q5194952) (← links)
- Dependent types from counterexamples (Q5255067) (← links)
- Automatic Termination Verification for Higher-Order Functional Programs (Q5410711) (← links)
- Inferring Channel Buffer Bounds Via Linear Programming (Q5458404) (← links)
- A Capability Calculus for Concurrency and Determinism (Q5756601) (← links)
- (Q5858726) (← links)
- Static Analysis (Q5897442) (← links)
- On lookaheads in regular expressions with backreferences (Q6544110) (← links)
- On the expressive power of regular expressions with backreferences (Q6647706) (← links)
