A Language Stack for Implementing Contracts

Explore a comprehensive language stack for implementing smart contracts in this 48-minute conference talk from GOTO Amsterdam 2018. Delve into the complexities of smart contracts beyond blockchain technology, focusing on their application in long-running, collaborative processes involving multiple parties. Learn about the importance of expressing contracts in a way that non-programmers can understand, ensuring functional correctness, and protecting against potential exploits. Discover the components of an effective language stack for contract implementation, including domain-specific languages, computational law, and verification techniques. Watch as Markus Völter, a language engineer, demonstrates these concepts through practical examples and discusses the future of smart contract development.

Intro
Context
Smart Contracts
What are Contracts
Contract Definition Phase
Blockchains
Verification and Validation
Correct by Construction Analysis Fix
Domain Specific Language
Computational Law
A Language Stack
Demo
State Machine
Closure
Verification
Summary