|
Regnath and Steinhorst [78]
|
SmaCoNat
|
SmaCoNat is a domain-specific language that is tailored for a subset of the transaction logic found in smart contracts.
|
|
Schrans et al. [83]
|
Flint
|
Flint is a type-safe, capabilities-secure, contractoriented programming language specifically designed for writing robust smart contracts.
|
|
Sergey et al. [85]
|
Scilla
|
Scilla is a novel intermediate-level functional smart contract programming language, suitable to serve as a compilation target and also as an independent programming framework. Scilla aims at achieving both sufficient expressivity and tractability, while enabling formal contract verification.
|