Search Results for author:
Found 12 papers, 3 papers with code
Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)
This proceedings contains abstracts and position papers for the work presented at the second Logic and Practice of Programming (LPOP) Workshop.
Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness
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
LPOP: Challenges and Advances in Logic and Practice of Programming
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.
Recursive Rules with Aggregation: A Simple Unified Semantics
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.
Knowledge of Uncertain Worlds: Programming with Logical Constraints
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.
Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees
We show that the method provides precise complexity guarantees.
Logic Programming Applications: What Are the Abstractions and Implementations?
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.
AppLP: A Dialogue on Applications of Logic Programming
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.
Moderately Complex Paxos Made Simple: High-Level Specification of Distributed Algorithm
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
Founded Semantics and Constraint Semantics of Logic Rules
Logic rules and inference are fundamental in computer science and have been studied extensively.
Formal Verification of Multi-Paxos for Distributed Consensus
This paper describes formal specification and verification of Lamport's Multi-Paxos algorithm for distributed consensus.
Distributed, Parallel, and Cluster Computing
Demand-Driven Incremental Object Queries
Object queries are essential in information seeking and decision making in vast areas of applications.
