LPOP: Challenges and Advances in Logic and Practice of Programming.
David S. WarrenYanhong A. LiuPublished in: CoRR (2020)
Keyphrases
- real world
- current challenges
- programming language
- logic programming
- lessons learned
- modal logic
- multi valued
- automated reasoning
- open issues
- key issues
- future directions
- design principles
- recent advances
- classical logic
- programming environment
- epistemic logic
- data sets
- pair programming
- object oriented programming
- development environment
- recent developments
- artificial intelligence
- databases