7 citations · 9 across the 6 of their papers we have counts for
6 papers
Ideas for the future of Prolog inspired by Oz
Peter Van Roy, Seif Haridi
Both Prolog and Oz are multiparadigm languages with a logic programming core. There is a significant subset of Oz that is a syntactic variant of Prolog: pure Prolog programs with g…
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…
Latency-Sensitive Web Service Workflows: A Case for a Software-Defined Internet
Pradeeban Kathiravelu, Peter Van Roy, Luís Veiga +1
The Internet, at large, remains under the control of service providers and autonomous systems. The Internet of Things (IoT) and edge computing provide an increasing demand and pote…
Towards A Systems Approach To Distributed Programming
Christopher S. Meiklejohn, Peter Van Roy
It is undeniable that most developers today are building distributed applications. However, most of these applications are developed by composing existing systems together through…
Practical Evaluation of the Lasp Programming Model at Large Scale - An Experience Report
Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo +3
Programming models for building large-scale distributed applications assist the developer in reasoning about consistency and distribution. However, many of the programming models f…
Worlds of Events: Deduction with Partial Knowledge about Causality
Seyed Hossein Haeri, Peter Van Roy, Carlos Baquero +1
Interactions between internet users are mediated by their devices and the common support infrastructure in data centres. Keeping track of causality amongst actions that take place…