no code implementations • 17 Nov 2022 • 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.
1 code implementation • 22 Aug 2020 • 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 specified and directly executable, as in formal specification languages and practical programming languages, respectively.
Software Engineering Distributed, Parallel, and Cluster Computing
no code implementations • 15 Aug 2020 • 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 Federated Logic Conference (FLoC) 2018.
no code implementations • 26 Jul 2020 • Yanhong A. Liu, Scott D. Stoller
We also apply our semantics to a wide range of challenging examples, and show that our semantics is simple and matches the desired results in all cases.
no code implementations • 23 Oct 2019 • Yanhong A. Liu, Scott D. Stoller
Programming with logic for sophisticated applications must deal with recursion and negation, which together have created significant challenges in logic, leading to many different, conflicting semantics of rules.
no code implementations • 18 Sep 2019 • K. Tuncay Tekle, Yanhong A. Liu
We show that the method provides precise complexity guarantees.
no code implementations • 20 Feb 2018 • Yanhong A. Liu
This article presents an overview of applications of logic programming, classifying them based on the abstractions and implementations of logic languages that support the applications.
no code implementations • 7 Apr 2017 • David S. Warren, Yanhong A. Liu
This document describes the contributions of the 2016 Applications of Logic Programming Workshop (AppLP), which was held on October 17 and associated with the International Conference on Logic Programming (ICLP) in Flushing, New York City.
1 code implementation • 31 Mar 2017 • Yanhong A. Liu, Saksham Chand, Scott D. Stoller
We show that English and pseudocode descriptions of algorithms can be captured precisely at a high level, yielding clearer and simpler specifications than ever before.
Distributed, Parallel, and Cluster Computing Programming Languages
no code implementations • 20 Jun 2016 • Yanhong A. Liu, Scott D. Stoller
Logic rules and inference are fundamental in computer science and have been studied extensively.
1 code implementation • 4 Jun 2016 • Saksham Chand, Yanhong A. Liu, Scott D. Stoller
This paper describes formal specification and verification of Lamport's Multi-Paxos algorithm for distributed consensus.
Distributed, Parallel, and Cluster Computing
no code implementations • 14 Nov 2015 • Yanhong A. Liu, Jon Brandvein, Scott D. Stoller, Bo Lin
Object queries are essential in information seeking and decision making in vast areas of applications.