Results 21 to 30 of about 339,225 (321)
The treewidth of smart contracts [PDF]
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019 Smart contracts are programs that are stored and executed on the Blockchain and can receive, manage and transfer money in the form of cryptocurrency units. Two important problems regarding smart contracts are formal analysis and compiler optimization. Formal analysis is extremely important, because smart contracts hold funds worth billions of dollars ...
Chatterjee, Krishnendu +2 more
openaire +3 more sources
MDA-Based Approach for Blockchain Smart Contract Development
Applied Sciences, 2022 Blockchain smart contracts can support the decentralisation of business processes, but due to smart contracts’ specifics, their development is a complicated process.
Mantas Jurgelaitis +4 more
doaj +1 more source
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022 This paper presents DeCon, a declarative programming language for implementing smart contracts and specifying contract-level properties. Driven by the observation that smart contract operations and contract-level properties can be naturally expressed as relational constraints, DeCon models each smart contract as a set of relational tables that store ...
Chen, Haoxian +4 more
openaire +2 more sources
ACM Transactions on Software Engineering and Methodology, 2020 Smart contracts are automated or self-enforcing contracts that can be used to exchange assets without having to place trust in third parties. Many commercial transactions use smart contracts due to their potential benefits in terms of secure peer-to-peer transactions independent of external parties. Experience shows that many commonly used
Xiao Liang Yu +3 more
openaire +4 more sources
Translation certification for smart contracts
Science of Computer Programming, 2022 Compiler correctness is an old problem, but with the emergence of smart contracts on blockchains that problem presents itself in a new light. Smart contracts are self-contained pieces of software that control assets, which are often of high financial value, in an adversarial environment and, once committed to the blockchain, they cannot be changed ...
Jacco O. G. Krijnen +3 more
openaire +6 more sources
Elastic Smart Contracts in Blockchains
IEEE/CAA Journal of Automatica Sinica, 2021 Junta de Andalucía EKIPMENT-PLUS (P18-FR-2895)
Dustdar, Schahram +3 more
openaire +7 more sources
Smart Contract Engineering [PDF]
Electronics, 2020 A smart contract is the algorithmic description of a contractual transaction protocol that is automatically executed together with the information provided by its parties. It is written in a simplified programming language that is specific to a particular domain.
Kai Hu +4 more
openaire +1 more source
Energies, 2022 Blockchain technology is currently evolving rapidly, and smart contracts are the hallmark of the second generation of blockchains. Currently, smart contracts are gradually being used in power system networks to build a decentralized energy system ...
Ran Guo +4 more
doaj +1 more source
Smart legal contract and its research progress
工程科学学报, 2022 With the advancement of blockchain, smart contracts have become increasingly popular. However, the uncertain status by law severely limits their practical applications.
Di WANG +6 more
doaj +1 more source
Solidity Code Generation From UML State Machines in Model-Driven Smart Contract Development
IEEE Access, 2022 For the development of blockchain smart contracts, a structured approach based on the principles of the Model Driven Architecture can be beneficial and facilitate the implementation of smart contracts.
Mantas Jurgelaitis +2 more
doaj +1 more source