Search

Your search keyword '"Polina Vinogradova"' showing total 4 results
Start Over Author "Polina Vinogradova" Publisher springer international publishing
4 results on '"Polina Vinogradova"'

3. Native Custom Tokens in the Extended UTXO Model

Author

Kenneth MacKenzie, Polina Vinogradova, Jann Müller, Philip Wadler, Orestis Melkonian, James Chapman, Manuel M. T. Chakravarty, and Michael Peyton Jones

Subjects
Bisimulation, 050101 languages & linguistics, Functional programming, Finite-state machine, Programming language, Computer science, 05 social sciences, 02 engineering and technology, computer.software_genre, Ledger, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, computer
Abstract

User-defined tokens—both fungible ERC-20 and non-fungible ERC-721 tokens—are central to the majority of contracts deployed on Ethereum. User-defined tokens are non-native on Ethereum; i.e., they are not directly supported by the ledger, but require custom code. This makes them unnecessarily inefficient, expensive, and complex.

Published
2020

4. Flexible Formality Practical Experience with Agile Formal Methods

Author

Philipp Kant, Neil Davies, James Chapman, Marcin Szamotulski, Javier Díaz, Matthias Güdemann, Polina Vinogradova, Wolfgang Jeltsch, Jared Corduan, Kevin Hammond, Nicholas Clarke, and Duncan Coutts

Subjects
Correctness, business.industry, Computer science, Perspective (graphical), 020207 software engineering, 02 engineering and technology, Formality, Formal methods, Formal specification, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, business, Software engineering, Agile software development
Abstract

Agile software development and Formal Methods are traditionally seen as being in conflict. From an Agile perspective, there is pressure to deliver quickly, building vertical prototypes and doing many iterations/sprints, refining the requirements; from a Formal Methods perspective, there is pressure to deliver correctly and any change in requirements often necessitates changes in the formal specification and might even impact all arguments of correctness.

Published
2020

Catalog

Books, media, physical & digital resources
See catalog results