3 citations · 6 across the 5 of their papers we have counts for
10 papers
Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)
David S. Warren, Peter Van Roy, Yanhong A. Liu
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, virtua…
Programming with rules and everything else, seamlessly
Yanhong A. Liu, Scott D. Stoller, Yi Tong +2
Logic rules are powerful for expressing complex reasoning and analysis problems. At the same time, they are inconvenient or impossible to use for many other aspects of applications…
Proceedings 37th International Conference on Logic Programming (Technical Communications)
Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts +7
ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2021 were sought in all areas of logic programming, including but not li…
Discrete Math with Programming: A Principled Approach
Yanhong A. Liu, Matthew Castelllana
Discrete mathematics is the foundation of computer science. It focuses on concepts and reasoning methods that are studied using math notations. It has long been argued that discret…
LPOP: Challenges and Advances in Logic and Practice of Programming
David S. Warren, Yanhong A. Liu
This article describes the work presented at the first Logic and Practice of Programming (LPOP) Workshop, which was held in Oxford, UK, on July 18, 2018, in conjunction with the Fe…
Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness
Yanhong A. Liu, Scott D. Stoller
This paper presents a general framework and methods for complete programming and checking of distributed algorithms at a high-level, as in pseudocode languages, but precisely speci…