Smart Contract Programming Languages

Smart Contract Programming Languages is a class of domain-specific programming languages that constitute formal systems for expressing computable contracts enforceable on blockchain platforms, distinguished by their native support for decentralized execution, cryptographic primitives, and state transition logic tied to immutable ledger semantics.

Publications

5.3K

Citations

251

Authors

110

Institutions

Publications per year

2017–2026

Parents

Smart Contracts

Publications

An overview on smart contracts: Challenges, advances and platforms

Zibin Zheng, Shaoan Xie, Hong‐Ning Dai et al. · Future Generation Computer Systems · 2019 · 1.2K citations · Full text

Law, Contract Law, Contracts +8

An Overview of Smart Contract: Architecture, Applications, and Future Trends

Shuai Wang, Yong Yuan, Xiao Wang et al. · 2018 · 390 citations

Computing, Computer Science, Cybersecurity +17

Smart contracts: terminology, technical limitations and real world complexity

Eliza Mik · Law Innovation and Technology · 2017 · 265 citations

Law, Commercial Law, Contract Law +17

An exploratory study of smart contracts in the Ethereum blockchain platform

Gustavo A. Oliva, Ahmed E. Hassan, Zhen Ming Jiang · Empirical Software Engineering · 2020 · 241 citations

Law, Information Systems, Information Technology +12

On legal contracts, imperative and declarative smart contracts, and blockchain systems

Guido Governatori, Florian Idelberger, Zoran Milošević et al. · Artificial Intelligence and Law · 2018 · 231 citations

Law, Contract Law, Contract Theory +15

1–5 of 75

Authors

251

GD
Giuseppe Destefanis
University of Cagliari, Italy
3 publications · 163 citations
3
h-index
JA
Jonathan Aldrich
Carnegie Mellon University, United States
3 publications · 58 citations
3
h-index
BA
Brad A. Myers
Carnegie Mellon University, United States
3 publications · 58 citations
3
h-index
VD
Vimal Dwivedi
Tallinn University of Technology, Estonia
3 publications · 122 citations
3
h-index
AN
Alex Norta
Tallinn University of Technology, Estonia
3 publications · 122 citations
3
h-index

1–5 of 251

Institutions

110

1–8 of 110

Venues

arXiv (Cornell University)
Repository · 8 publications · 362 citations
8
h-index
Proceedings of the ACM on Programming Languages
PACMPL · 2 publications · 115 citations
2
h-index
IEEE Transactions on Software Engineering
TSE · 2 publications · 111 citations
2
h-index
IEEE Access
2 publications · 97 citations
2
h-index
IACR Cryptology ePrint Archive
Repository · 2 publications · 82 citations
2
h-index

1–5