Ichiro Hasuo - POPL 2016

Registered user since Tue 27 Oct 2015

Name:Ichiro Hasuo

Country:Japan

Affiliation:University of Tokyo

Research interests:Semantics, category theory, verification, logic, automata, functional programming, cyber-physical system, hybrid system

Contributions

VMCAI	Abstract Interpretation with Infinitesimals
POPL 2016	Lattice-Theoretic Progress Measures and Coalgebraic Model Checking Memoryful Geometry of Interaction II: Recursion and Adequacy
Show activities from other conferences