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.