Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)
Not on the map. Why?
Abstract (arXiv)
This proceedings contains abstracts and position papers for the work presented at the second Logic and Practice of Programming (LPOP) Workshop. The workshop was held online, virtually in place of Chicago, USA, on November 15, 2010, in conjunction with the ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH) 2020. The purpose of this workshop is to be a bridge between different areas of computer science that use logic as a practical tool. We take advantage of the common language of formal logic to exchange ideas between these different areas.
Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 3 of its 69 references that are in the map. First posted on arXiv 17 Nov 2022.
Builds on
3 of 69 references.
References · 3
- 2014Sequence to Sequence Learning with Neural Networkscited by 2,986
- 2019Neural Probabilistic Logic Programming in DeepProbLogcited by 394
- 2017End-to-End Differentiable Provingcited by 161
Built on by
Not cited yet.