Caos: A Reusable Scala Web Animator of Operational Semantics.

José Proença Luc Edixhoven

Published in: COORDINATION (2023)

Keyphrases

operational semantics
web applications
formal semantics
web pages
website
data model
database
software systems
case study
software engineering
software components
speech acts
model theoretic
declarative semantics