λHive: Formal Semantics of an Edge Computing Model Based on JavaScript.

Matías Teragni Claudia Pons

Published in: Int. J. Cloud Appl. Comput. (2022)

Keyphrases

formal semantics
logical language
open source
operational semantics
website
formal language
logical reasoning
er model
first order logic
modeling language
modelling language
theorem prover
speech acts
edge detection
owl dl ontology
epistemic logic
web applications
expert systems