Executable Semantics and Type Checking for Session-Based Concurrency in Maude.

Carlos Alberto Ramírez Restrepo Jorge A. Pérez

Published in: WRLA@ETAPS (2022)

Keyphrases

type checking
database query languages
formal specification
relational calculus
database systems
data types
query processor
query language
expressive power
data structure
object model
conceptual model
relational algebra
complex objects
databases
user defined
response time
search engine