![Que es un lenguaje formal en programacion](https://kumkoniak.com/42.jpg)
The language adopts certain design principles to make contracts tractable and hence easier to reason about:
![que es un lenguaje formal en programacion que es un lenguaje formal en programacion](https://concepto.de/wp-content/uploads/2018/09/lenguaje-de-programaci%C3%B3n-e1537466894547.jpg)
What are the high-level design principles in Scilla? Scilla aims to be a structured and principled smart contract language that is expressive enough to develop “interesting“ dapps while ensuring the safety of contracts and enabling formal reasoning about contract behavior.Ĭontracts in Scilla are structured as communicating automata, i.e., a state machine that takes input from the external environment, performs some purely mathematical computations, change the state of the system and at the end (if needed) communicate with other contracts. In order to prevent such incidents to recur, it is required to have a safe-by-design smart contract language that is both expressive and tractable.
![que es un lenguaje formal en programacion que es un lenguaje formal en programacion](http://3.bp.blogspot.com/_mc7-VXgLnsQ/TOc2-sKYcOI/AAAAAAAAACg/gsZrwoJRF_E/s1600/Python2.png)
Incidents with smart contracts over the last few years (such as the DAO and Parity hacks) have shown that implemented operational semantics of smart contract languages often admit rather subtle behaviour that diverge from the intuitive understanding of the language in the minds of contract developers.
![Que es un lenguaje formal en programacion](https://kumkoniak.com/42.jpg)