A Legal-Relationship Establishment in Smart Contracts: Ontological Semantics for Programming-Language Development.
Vimal Kumar DwivediAlex NortaPublished in: ICACDS (1) (2021)
Keyphrases
- programming language
- denotational semantics
- domain specific languages
- logic programming
- software engineering
- object oriented
- specification language
- general purpose
- programming language constructs
- database languages
- high level
- programming environment
- fluent calculus
- semantic data models
- data abstraction
- object oriented programming
- strongly typed
- ontological framework
- language constructs
- object oriented concepts
- machine learning
- conceptual modeling
- software developers
- functional programming
- development process
- database