Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language.
Zheng YangHang LeiPublished in: CoRR (2018)
Keyphrases
- programming language
- general purpose
- high level
- programming environment
- abstract data types
- object oriented
- strongly typed
- software engineering
- object oriented programming
- logic programming
- object oriented concepts
- artificial intelligence
- operational semantics
- database languages
- denotational semantics
- formal specification
- high level programming language
- specification language
- programming paradigms