David J. Pearce | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Jens Dietrich
11 publications
Franck Cassez
5 publications
Joanne Fuller
3 publications
Patrick Lam
2 publications
Milad K. Ghale
1 publication
Horacio M. A. Quiles
1 publication

research

∙ 03/01/2023

Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny

The Ethereum protocol implements a replicated state machine. The network...

0 Franck Cassez, et al. ∙

research

∙ 08/17/2020

Putting the Semantics into Semantic Versioning

The long-standing aspiration for software reuse has made astonishing str...

0 Patrick Lam, et al. ∙

Success!

An error occurred