Petitparser: Building modular parsers, Deep into Pharo, chapter 18, pp.377-411, 2013. ,
Thomas Sibut-Pinote, Nikhil Swamy, and Santiago Zanella-Béguelin. Formal verification of smart contracts: Short paper, 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS '16, pp.91-96, 2016. ,
Smacc: a compiler-compiler, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01612820
Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab, Cryptology ePrint Archive, vol.460460, 2015. ,
DOI : 10.1145/2810103.2813713
A programmer's guide to ethereum and serpent, 2015. ,
Introduction to Cryptocurrencies, Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, CCS '15, pp.1700-1701, 2015. ,
DOI : 10.1007/978-3-662-44381-1_24
The Internet Blockchain, Proceedings of the 15th ACM Workshop on Hot Topics in Networks, HotNets '16, pp.204-210, 2016. ,
DOI : 10.1145/279227.279229
Finding counterexamples from parsing conflicts, 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '15, pp.555-564, 2015. ,
Prateek Saxena, and Aquinas Hobor Making smart contracts smarter, 2016 ACM SIGSAC Conference on Computer and Communications Security, CCS '16, pp.254-269, 2016. ,
Self-managed and blockchain-based vehicular ad-hoc networks, Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing Adjunct, UbiComp '16, pp.137-140, 2016. ,
DOI : 10.1145/2968219.2971409
Demystifying Incentives in the Consensus Computer, Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, CCS '15, pp.706-719, 2015. ,
DOI : 10.1007/978-3-662-46803-6_10
Parsing non-lr(k) grammars with yacc. Software Practice and Experience, pp.829-850, 1993. ,
DOI : 10.1002/spe.4380230803
Antlr tutorial, 2005. ,
Bitcoin: A peer-to-peer electronic cash system, 2009. ,
A methodology for removing lalr(k) conflicts, Journal of Universal Computer Science, vol.13, issue.6, pp.737-752, 2007. ,