Enumerated type semantics for the calculus of looping sequences.

Published in: RAIRO Theor. Informatics Appl. (2011)

Keyphrases

database query languages
type checking
formal semantics
formal language
logic programming
sequential patterns
variable length
relational calculus
process algebra
expressive power