UTxO- vs Account-Based Smart Contract Blockchain Programming Paradigms
Lars Brünjes, Murdoch J. Gabbay
Topics & Concepts
SolidityObservational equivalenceComputer scienceSmart contractSimple (philosophy)Programming languageAbstractionBlockchainCode (set theory)Source codeProgramming paradigmTRACE (psycholinguistics)Automatic differentiationTheoretical computer scienceArtificial intelligenceComputer securityEpistemologyLinguisticsComputationSet (abstract data type)PhilosophyBlockchain Technology Applications and SecurityAuction Theory and Applications