R.I.P.
👻
Ghosted
Albert, an intermediate smart-contract language for the Tezos blockchain
January 07, 2020 · Declared Dead · 🏛 Financial Cryptography Workshops
"No code URL or promise found in abstract"
Evidence collected by the PWNC Scanner
Authors
Bruno Bernardo, Raphaël Cauderlier, Basile Pesin, Julien Tesson
arXiv ID
2001.02630
Category
cs.PL: Programming Languages
Citations
15
Venue
Financial Cryptography Workshops
Last Checked
2 months ago
Abstract
Tezos is a smart-contract blockchain. Tezos smart contracts are written in a low-level stack-based language called Michelson. In this article we present Albert, an intermediate language for Tezos smart contracts which abstracts Michelson stacks as linearly typed records. We also describe its compiler to Michelson, written in Coq, that targets Mi-Cho-Coq, a formal specification of Michelson implemented in Coq.
Community Contributions
Found the code? Know the venue? Think something is wrong? Let us know!
📜 Similar Papers
In the same crypt — Programming Languages
R.I.P.
👻
Ghosted
Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions
R.I.P.
👻
Ghosted
Glow: Graph Lowering Compiler Techniques for Neural Networks
R.I.P.
👻
Ghosted
Learnable Programming: Blocks and Beyond
R.I.P.
👻
Ghosted
Scenic: A Language for Scenario Specification and Scene Generation
R.I.P.
👻
Ghosted
Vandal: A Scalable Security Analysis Framework for Smart Contracts
Died the same way — 👻 Ghosted
R.I.P.
👻
Ghosted
Language Models are Few-Shot Learners
R.I.P.
👻
Ghosted
PyTorch: An Imperative Style, High-Performance Deep Learning Library
R.I.P.
👻
Ghosted
XGBoost: A Scalable Tree Boosting System
R.I.P.
👻
Ghosted