Read the abstract, see who wrote it and who cites it, and get the citation in APA, MLA, Chicago or Harvard.
About 7,020 papers for “Solidity”
Shashank Mohan Jain · Apress eBooks · 2022
Have you ever heard of or encountered a smart contract? If someone has been living under a rock, they maybe have not heard about it. Having said that, smart contracts define a way by which we can execute code on the blockchain.
Cited by 1
Davi Pedro Bauer · Apress eBooks · 2022
Solidity is an object-oriented, high-level programming language that is used to construct smart contracts that automate blockchain transactions. The language was proposed in 2014 by Gavin Wood and developed by participants of the Ethereum project. Solidity was influenced by C++, Python, and JavaScript, so you will find similar language structures as in those languages. The language is primarily used to build smart contracts on the Ethereum blockchain, but it can also be used to create smart contracts on other blockchains.
Cited by 10
2023
Cited by 0
Cano de Benito, Juan, Cimmino, Andrea, García Castro, Raúl · Zenodo (CERN European Organization for Nuclear Research) · 2023
Blockchain has become a pervasive technology in a wide number of sectors like industry, research, and academy. With the emergence of blockchain, new solutions with this technology to existing problems were devised, leading to the introduction of smart contracts. Smart contracts are similar to traditional contracts with the benefits provided by blockchain, such as immutability, privacy, and decentralisation. These contracts are usually defined based on a specific domain, and this domain knowledge can be represented through an ontology. Researches have explored the benefits of using domain ontologies with smart contracts, such as code generation, discovering other contracts in the network, or interaction with other contracts. Notwithstanding, the representation of smart contract languages themselves has not been studied. In this paper, we present an ontology for a well-known smart contract language, Solidity, defining all entities needed to cover the whole language and aligning it to other standardised ontologies such as EthOn, in a way to improve the knowledge of the ontology developed. Furthermore, the ontology has also been validated with already deployed contracts in the Ethereum blockchain. Thus, Solidity will be able to benefit from the advantages provided by ontologies, such as interoperability and the use of semantic web technologies.
Cited by 0Open access
Oxford University Press eBooks · 2023
Cited by 0
Gavin Zheng, Longxiang Gao, Liqun Huang et al. · 2020
Cited by 1
John Locke · Oxford University Press eBooks · 2008
§ 1. <sc>The </sc> <italic>Idea of Solidity</italic> we receive by our Touch; and it arises from the resistance which we find in Body, to the entrance of any other Body into the Place it possesses, till it has left it. There is
Cited by 0
Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho et al. · 2022
Smart contracts written in Solidity are programs used in blockchain networks, such as Etherium, for performing transactions. However, as with any piece of software, they are prone to errors and may present vulnerabilities, which malicious attackers could then use. This paper proposes a solidity frontend for the efficient SMT-based context-bounded model checker (ESBMC), named ESBMC-Solidity, which provides a way of verifying such contracts with its framework. A benchmark suite with vulnerable smart contracts was also developed for evaluation and comparison with other verification tools. The experiments performed here showed that ESBMC-Solidity detected all vulnerabilities, was the fastest tool and provided a counterexample for each benchmark. A demonstration is available at https://youtu.be/3UH8_1QAVN0.
Cited by 11Open access
Raul Cristian Bag · 2022
Cited by 0
Chris Dannen · Apress eBooks · 2017
Imagine you’re on a beach in another country. You took a trip here on a whim and breezed past the currency exchange booth in the airport, figuring you could use your credit or debit card while visiting—no need for cash. In your rush, you forgot to bring sunglasses. A vendor walking along the beach has a pair that happen to be your style. In fact, they’re better than the pairs you remember passing in the duty-free area of the airport. Alas, he doesn’t have a credit card reader—just his Android phone—and you don’t have any local currency. He gives you a little card with an e-mail address and a phone number, in case you’d like to buy the glasses later.
Cited by 44
Cano de Benito, Juan, Cimmino, Andrea, García Castro, Raúl · Zenodo (CERN European Organization for Nuclear Research) · 2023
Blockchain has become a pervasive technology in a wide number of sectors like industry, research, and academy. With the emergence of blockchain, new solutions with this technology to existing problems were devised, leading to the introduction of smart contracts. Smart contracts are similar to traditional contracts with the benefits provided by blockchain, such as immutability, privacy, and decentralisation. These contracts are usually defined based on a specific domain, and this domain knowledge can be represented through an ontology. Researches have explored the benefits of using domain ontologies with smart contracts, such as code generation, discovering other contracts in the network, or interaction with other contracts. Notwithstanding, the representation of smart contract languages themselves has not been studied. In this paper, we present an ontology for a well-known smart contract language, Solidity, defining all entities needed to cover the whole language and aligning it to other standardised ontologies such as EthOn, in a way to improve the knowledge of the ontology developed. Furthermore, the ontology has also been validated with already deployed contracts in the Ethereum blockchain. Thus, Solidity will be able to benefit from the advantages provided by ontologies, such as interoperability and the use of semantic web technologies.
Cited by 0Open access
Radek, Bezvoda · Universität Würzburg · 2024
Cited by 0Open access
Andy Hargreaves, Michael T. O’Connor · Phi Delta Kappan · 2018
For decades, education researchers have been drawing attention to the importance of professional collaboration among teachers as a way to improve student achievement. But not all collaboration is equally effective. Andy Hargreaves and Michael O’Connor explain that the most successful and sustainable efforts are characterized by both solidity and solidarity, meaning that they draw on both expert knowledge and strong collegial relationships, creating what the authors call collaborative professionalism. A network of rural teachers in the Pacific Northwest who enhance curriculum across multiple schools and a lesson study program in Hong Kong are two examples of such successful collaborations.
Cited by 87
John S. Waldsmith · History of Photography · 1978
Abstract The stereograph is by far our most valuable visual record of the period from the 1850s to the 1920s. No other medium was as extensive in documenting a changing world with more authentic detail. William Culp Darrah soon recognized this fact while he was researching one of his first books, Powell of the Colorado, in the 1940s. He quickly became a collector, not only of stereographs themselves, but also of important data concerning their history and the people who made them.
Cited by 0
Álvaro Salido Fernández, Maria Paula Santiago Martín de Madrid · IGI Global eBooks · 2025
The universe contains more emptiness than matter. As corporeal beings, we often forget that we do not only interact with objects and surfaces, but that we inhabit emptiness. An emptiness that allows us to occupy the physical space of reality. The ways of perceiving this volume, of experiencing its form and continuity, differ from one living being to another, according to the different sensory organs with which nature has endowed each organism. These adaptations have allowed the survival of human beings, but have also made possible the artistic expression through the senses. Through the testimony of César Delgado, founder of the Haptic Center for Proprioceptive Research, and the theoretical review of research in the field of blindness, we analyze the needs of access to the practice and artistic exhibition of blind people, proposing a reformulation of the museum space and its paradigms in order to become more inclusive spaces.
Cited by 0
Martin Tamke · 2007
Cited by 0
Frank Keil, Brent Strickland, Andreas Falck et al. · OSF Preprints (OSF Preprints) · 2020
Data from the experiments reported in "Core cognition in adult vision: A surprising discrepancy between the principles of object continuity and solidity", by Falck, Labouret, Izard, Wertz, Keil & Strickland (JEP:General, July 13, 2020).
Cited by 0
Jeff Garcia · Zenodo (CERN European Organization for Nuclear Research) · 2024
Cited by 0Open access
Martín Francisco Fricke, Paul Snowdon · Analysis · 2003
Journal Article Solidity and impediment Get access Martin F. Fricke, Martin F. Fricke Trinity CollegeOxford OX1 3BH, UKmartin_fricke@yahoo.co.uk Search for other works by this author on: Oxford Academic Google Scholar Paul Snowdon Paul Snowdon University College LondonLondon WC1E 6BT, UKp.snowdon@ucl.ac.uk Search for other works by this author on: Oxford Academic Google Scholar Analysis, Volume 63, Issue 3, July 2003, Pages 173–178, https://doi.org/10.1093/analys/63.3.173 Published: 01 July 2003
Cited by 2
Song, Kunjian · Zenodo (CERN European Organization for Nuclear Research) · 2021
Test suite and logs
Cited by 0Open access