iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements.
Pengcheng FangZhenhua ZouXusheng XiaoZhuotao LiuPublished in: ISSTA (2023)
Keyphrases
- semi automated
- fully automated
- dispute resolution
- program synthesis
- legal documents
- legal knowledge
- case law
- legal cases
- supply chain
- fully automatic
- stock market
- legal reasoning
- smart environments
- smart grid
- texture synthesis
- legal information retrieval
- data sets
- legal information
- negotiation process
- logical structure
- financial data
- stock price
- decision making