Compiling dyadic first-order specifications into map algebra.

Domenico Cantone Andrea Formisano Eugenio G. Omodeo Calogero G. Zarba

Published in: Theor. Comput. Sci. (2003)

Keyphrases

data model
first order logic
query language
relational algebra
real numbers
higher order
algebraic expressions
real time
maximum a posteriori
specification language
artificial intelligence
control flow
operational semantics
algebraic operations