DynSem: A DSL for Dynamic Semantics Specification.

Vlad A. Vergu Pierre Neron Eelco Visser

Published in: RTA (2015)

Keyphrases

specification language
dynamic environments
dynamic constraints
domain specific languages
high level declarative
databases
database systems
keywords
multi agent
logic programming
conceptual graphs
operational semantics
conceptual schema