9 citations · 43 across the 13 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020★ 3 cited
Isomorphic Data Type Transformations
Alessandro Coglio, Stephen Westfold
In stepwise derivations of programs from specifications, data type refinements are common. Many data type refinements involve isomorphic mappings between the more abstract and more…
cs.LO2020★ 9 cited
Ethereum's Recursive Length Prefix in ACL2
Alessandro Coglio
Recursive Length Prefix (RLP) is used to encode a wide variety of data in Ethereum, including transactions. The work described in this paper provides a formal specification of RLP…