Blockchains are specialized, distributed databases that bring a fundamental feature to computer systems: immutability. This feature alone has triggered the development of financial systems that can be fully automated and can be partially or completely independent from human management. The possibility of self-regulated agreements between well informed parties, known as smart contracts, becomes the core of those financial systems. However, smart contracts depend, not only on the development of a strong cryptographic infrastructure, but also in the ability of the parties to actually encode their corresponding requirements and concessions, and their trust, into the computer systems. A new generation of programming languages seems to be required.
This collection explores computer programming languages for blockchains and similar financial systems.
Main image credit: | (Eiffel Tower, J.Dávila, 2006) |
Background image credit: | (Eiffel Tower, J.Dávila, 2006) |
ScienceOpen disciplines: | Databases, Applied computer science, Programming languages, Computer science, Artificial intelligence, Networking & Internet architecture |
Keywords: | smart contracts, logical contracts |
DOI: | 10.14293/S2199-1006.1.SOR-COMPSCI.CL3O6M5.v1 |