Developing a Compiler for EROP - A Language for the Specification of Smart Contracts, An Experience Report.
Adrian DelchevIoannis SfyrakisEllis SolaimanPublished in: CoRR (2023)
Keyphrases
- programming language
- specification language
- highly modular
- formal language
- constraint language
- programs written
- formal specification
- formal languages
- operational semantics
- supply chain
- object oriented
- high level
- code generation
- action language
- modelling language
- definition language
- programming environment
- conceptual models
- artificial intelligence
- object oriented programming
- model checking
- operating system
- general purpose
- software engineering
- natural language
- e learning