Domain Analysis & Description - The Implicit and Explicit Semantics Problem
Programming Languages
2018-05-16 v1 Software Engineering
Abstract
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.
Keywords
Cite
@article{arxiv.1805.05516,
title = {Domain Analysis & Description - The Implicit and Explicit Semantics Problem},
author = {Dines Bjørner},
journal= {arXiv preprint arXiv:1805.05516},
year = {2018}
}
Comments
In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636