Proof of Location through a Blockchain Agnostic Smart Contract Language.
Michele BoniniMirko ZichichiStefano FerrettiGabriele D'AngeloPublished in: ICDCS Workshops (2023)
Keyphrases
- programming language
- supply chain
- language learning
- location based services
- functional language
- natural language
- specification language
- language processing
- databases
- theorem prover
- real time
- software engineering
- query language
- theorem proving
- location information
- modeling language
- data model
- computational linguistics
- relational databases
- linguistic knowledge
- proof theory
- proof planning
- complete axiomatization