Skip to main content

Table 3 Some examples of programming-centric solutions

From: Blockchain smart contracts: Applications, challenges, and future trends

Paper Contribution Description
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.