Gigahorse: thorough, declarative decompilation of smart contracts.
Neville GrechLexi BrentBernhard ScholzYannis SmaragdakisPublished in: ICSE (2019)
Keyphrases
- high level
- supply chain
- smart grid
- domain independent
- real time
- declarative language
- adverse selection
- ubiquitous environments
- smart objects
- home environments
- truth maintenance systems
- declarative knowledge
- smart environments
- knowledge representation
- hidden markov models
- bayesian networks
- case study
- machine learning
- real world
- databases