( en | de | ru )

 

Disambiguation of "Unno, Hiroshi"

Author of the publication

copydeleteadd this publication to your clipboard
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers.

, , , and . Proc. ACM Program. Lang., 8 (POPL): 115-147 (January 2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hiroshi Kawabe

Hiroshi Murata

Hiroshi Kubota

Hiroshi Uchida

Hiroshi Fukuzaki

 

Other publications of authors with the same name

Verification of Tree-Processing Programs via Higher-Order Model Checking., , and . APLAS, volume 6461 of Lecture Notes in Computer Science, page 312-327. Springer, (2010)Dependent type inference with interpolants., and . PPDP, page 277-288. ACM, (2009)A Fixpoint Logic and Dependent Effects for Temporal Property Verification., , , and . LICS, page 759-768. ACM, (2018)Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs., , and . APLAS, volume 9458 of Lecture Notes in Computer Science, page 295-312. Springer, (2015)Predicate abstraction and CEGAR for higher-order model checking., , and . PLDI, page 222-233. ACM, (2011)Constraint-Based Relational Verification., , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 742-766. Springer, (2021)Design considerations for new 3D image display system with improved compatibility with invisibility and readability., , and . IAS, page 1-8. IEEE, (2014)Towards a scalable software model checker for higher-order programs., , and . PEPM, page 53-62. ACM, (2013)Automating Induction for Solving Horn Clauses., , and . CAV (2), volume 10427 of Lecture Notes in Computer Science, page 571-591. Springer, (2017)Refinement Type Inference via Horn Constraint Optimization., and . SAS, volume 9291 of Lecture Notes in Computer Science, page 199-216. Springer, (2015)