Rewriting Semantics and Analysis of Concurrency Features for a C-like Language.

Traian-Florin Serbanuta

Published in: Electron. Notes Theor. Comput. Sci. (2014)

Keyphrases

database systems
feature vectors
low level
conceptual graphs
intended meaning
feature space
logic programming
data analysis
image features
programming language
description logics
language learning
modeling language
logic programming language