Publicação científica

The Jus Programming Language: Towards a Functional Language for Secure and Verifiable Smart Contracts on Tezos

Larissa Pimentel Viana Randow, Karin Satie Komati, Jefferson Oliveira Andrade

· Emerging Trends in Information Systems and Technologies (WorldCIST 2025)

Síntese

O capítulo apresenta Jus, uma linguagem funcional para contratos inteligentes na plataforma Tezos, com mecanismos destinados a favorecer a segurança e a verificação formal.

Arquivos e links