Hiroaki Inoue | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Atsushi Igarashi
14 publications
Denis Cousineau
2 publications
David Mentré
2 publications

research

∙ 12/23/2019

Automated Deductive Verification for Ladder Programming

Ladder Logics is a programming language standardized in IEC 61131-3 and ...

0 Denis Cousineau, et al. ∙

research

∙ 05/04/2019

A Type System for First-Class Layers with Inheritance, Subtyping, and Swapping

Context-Oriented Programming (COP) is a programming paradigm to encourag...

0 Hiroaki Inoue, et al. ∙