Atsushi Igarashi
- ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs
2020/02/18 by John Toman, Ren Siqi, Toman, John +7 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing
- Abstracting Effect Systems for Algebraic Effect Handlers
2024/04/25 by T. Yoshioka, Yoshioka, Takuma, Taro Sekiyama +3 · 2 citations
Computer Science · #Model-Driven Software Engineering Techniques #Software Engineering Research