UTP Semantics for Handel-C.

Juan Ignacio Perna Jim Woodcock

Published in: UTP (2008)

Keyphrases

logic programming
formal semantics
databases
real time
neural network
artificial intelligence
information systems
conceptual model
website
high level
knowledge representation
natural language processing
default reasoning
semantic representation
specification language
logical language