2 research outputs found
Domain analysis & description: The implicit and explicit semantics problem
A domain analysis & description calculus is introduced. It is shown to
alleviate the issue of implicit semantics. The claim is made that domain
descriptions, whether informal, or as also here, formal, amount to an explicit
semantics for what is otherwise implicit if not described.Comment: In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.0463