Transition-Oriented Programming: Developing Verifiable Systems.

Yepeng Ding Hiroyuki Sato

Published in: CoRR (2020)

Keyphrases

oriented programming
management system
knowledge based systems
computer vision
information technology
complex systems
database
real time
real world
decision making
multiscale
data structure
mobile devices
end users
computer systems
retrieval systems