Deeply Integrating C11 Code Support into Isabelle/PIDE.

Frédéric Tuong Burkhart Wolff

Published in: F-IDE@FM (2019)

Keyphrases

artificial intelligence
multiscale
knowledge management
data sets
neural network
real world
web services
distributed systems
decision support
business processes
support systems
seamless integration