Peter Van Roy

According to our database, Peter Van Roy authored at least 118 papers between 1984 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Expressing Musical Ideas with Constraint Programming Using a Model of Tonal Harmony.

Damien Sprockeels, Peter Van Roy

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

2023

Algebraic Reasoning About Timeliness.

Seyed Hossein Haeri, Peter W. Thompson, Peter Van Roy, Magne Haveraaen, Neil J. Davies, Mikhail Barash, Kevin Hammond, James Chapman

Proceedings of the Proceedings 16th Interaction and Concurrency Experience, 2023

Ideas for the future of Prolog inspired by Oz.

Peter Van Roy, Seif Haridi

CoRR, 2023

2022

Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP).

David Scott Warren, Peter Van Roy, Yanhong A. Liu

CoRR, 2022

Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study.

Seyed H. Haeri, Peter Thompson, Neil J. Davies, Peter Van Roy, Kevin Hammond, James Chapman

Comput., 2022

2021

The Hera framework for fault-tolerant sensor fusion with Erlang and GRiSP on an IoT network.

Sébastien Kalbusch, Vincent Verpoten, Peter Van Roy

Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, 2021

2020

A history of the Oz multiparadigm language.

Peter Van Roy, Seif Haridi, Christian Schulte, Gert Smolka

Proc. ACM Program. Lang., 2020

Transparent speculation in geo-replicated transactional data stores.

Zhongmiao Li, Paolo Romano, Peter Van Roy

J. Parallel Distributed Comput., 2020

Interoperable and network-aware service workflows for big data executions at internet scale.

Pradeeban Kathiravelu, Peter Van Roy, Luís Veiga

Concurr. Comput. Pract. Exp., 2020

Latency-Sensitive Web Service Workflows: A Case for a Software-Defined Internet.

Pradeeban Kathiravelu, Peter Van Roy, Luís Veiga, Elhadj Benkhelifa

Proceedings of the 2020 Seventh International Conference on Software Defined Systems, 2020

2019

On-demand big data integration - A hybrid ETL approach for reproducible scientific research.

Pradeeban Kathiravelu, Ashish Sharma, Helena Galhardas, Peter Van Roy, Luís Veiga

Distributed Parallel Databases, 2019

SD-CPS: software-defined cyber-physical systems. Taming the challenges of CPS with workflows at the edge.

Pradeeban Kathiravelu, Peter Van Roy, Luís Veiga

Clust. Comput., 2019

Achlys: Towards a Framework for Distributed Storage and Generic Computing Applications for Wireless IoT Edge Networks with Lasp on GRiSP.

Igor Kopestenski, Peter Van Roy

Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops, 2019

Erlang as an enabling technology for resilient general-purpose applications on edge IoT networks.

Igor Kopestenski, Peter Van Roy

Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, 2019

Sparkle: Speculative Deterministic Concurrency Control for Partially Replicated Transactional Stores.

Zhongmiao Li, Paolo Romano, Peter Van Roy

Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

Programming models and runtimes.

Georges Da Costa, Alexey L. Lastovetsky, Jorge G. Barbosa, Juan Carlos Díaz Martín, Juan-Luis García Zapata, Matthias Janetschek, Emmanuel Jeannot, João Leitão, Ravi Reddy Manumachu, Radu Prodan, Juan A. Rico-Gallego, Peter Van Roy, Ali Shoker, Albert van der Linde

Proceedings of the Ultrascale Computing Systems, 2019

2018

Composing network service chains at the edge: A Resilient and adaptive software-defined approach.

Pradeeban Kathiravelu, Peter Van Roy, Luís Veiga

Trans. Emerg. Telecommun. Technol., 2018

Towards A Systems Approach To Distributed Programming.

Christopher S. Meiklejohn, Peter Van Roy

CoRR, 2018

Software-defined data services: Interoperable and network-aware big data executions.

Pradeeban Kathiravelu, Peter Van Roy, Luís Veiga

Proceedings of the Fifth International Conference on Software Defined Systems, 2018

2017

On-Demand Service-Based Big Data Integration: Optimized for Research Collaboration.

Pradeeban Kathiravelu, Yiru Chen, Ashish Sharma, Helena Galhardas, Peter Van Roy, Luís Veiga

Proceedings of the Data Management and Analytics for Medicine and Healthcare, 2017

Practical evaluation of the Lasp programming model at large scale: an experience report.

Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

Loquat: A framework for large-scale actor communication on edge networks.

Christopher S. Meiklejohn, Peter Van Roy

Proceedings of the 2017 IEEE International Conference on Pervasive Computing and Communications Workshops, 2017

Enhancing throughput of partially replicated state machines via multi-partition operation scheduling.

Zhongmiao Li, Peter Van Roy, Paolo Romano

Proceedings of the 16th IEEE International Symposium on Network Computing and Applications, 2017

Saturn: a Distributed Metadata Service for Causal Consistency.

Manuel Bravo, Luís E. T. Rodrigues, Peter Van Roy

Proceedings of the Twelfth European Conference on Computer Systems, 2017

Designing Distributed Applications Using a Phase-Aware, Reversible System.

Ruma R. Paul, Jérémie Melchior, Peter Van Roy, Vladimir Vlassov

Proceedings of the IEEE International Conference on Edge Computing, 2017

Exploiting speculation in partially replicated transactional data stores.

Zhongmiao Li, Peter Van Roy, Paolo Romano

Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

2016

Worlds of Events: Deduction with Partial Knowledge about Causality.

Seyed H. Haeri (Hossein), Peter Van Roy, Carlos Baquero, Christopher Meiklejohn

Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

Reversible Phase Transitions in a Structured Overlay Network with Churn.

Ruma R. Paul, Peter Van Roy, Vladimir Vlassov

Proceedings of the Networked Systems - 4th International Conference, 2016

Declarative, sliding window aggregations for computations at the edge.

Christopher Meiklejohn, Seyed H. Haeri, Peter Van Roy

Proceedings of the 13th IEEE Annual Consumer Communications & Networking Conference, 2016

2015

Selective Hearing: An Approach to Distributed, Eventually Consistent Edge Computation.

Christopher Meiklejohn, Peter Van Roy

Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems Workshop, 2015

Lasp: a language for distributed, coordination-free programming.

Christopher Meiklejohn, Peter Van Roy

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Towards a Scalable, Distributed Metadata Service for Causal Consistency under Partial Geo-replication.

Manuel Bravo, Luís E. T. Rodrigues, Peter Van Roy

Proceedings of the Doctoral Symposium of the 16th International Middleware Conference, 2015

Interaction between Network Partitioning and Churn in a Self-Healing Structured Overlay Network.

Ruma R. Paul, Peter Van Roy, Vladimir Vlassov

Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems, 2015

Lasp: a language for distributed, eventually consistent computations with CRDTs.

Christopher Meiklejohn, Peter Van Roy

Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data, 2015

Reducing the vulnerability window in distributed transactional protocols.

Manuel Bravo, Paolo Romano, Luís E. T. Rodrigues, Peter Van Roy

Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data, 2015

The implementation and use of a generic dataflow behaviour in Erlang.

Christopher Meiklejohn, Peter Van Roy

Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 2015, 2015

Conflict-Free Partially Replicated Data Types.

Iwan Briquemont, Manuel Bravo, Zhongmiao Li, Peter Van Roy

Proceedings of the 7th IEEE International Conference on Cloud Computing Technology and Science, 2015

2014

An empirical study of the global behavior of a structured overlay network.

Ruma R. Paul, Peter Van Roy, Vladimir Vlassov

Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing, 2014

Derflow: distributed deterministic dataflow programming for erlang.

Manuel Bravo, Zhongmiao Li, Peter Van Roy, Christopher Meiklejohn

Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014

2013

Improving DUIs with a Decentralized Approach with Transactions and Feedbacks.

Jérémie Melchior, Boris Mejías, Yves Jaradin, Peter Van Roy, Jean Vanderdonckt

Proceedings of the Distributed User Interfaces: Usability and Collaboration, 2013

A new concurrency model for Scala based on a declarative dataflow core.

Sébastien Doeraene, Peter Van Roy

Proceedings of the 4th Workshop on Scala, 2013

2012

A Comparative Evaluation of User Preferences for Extra-User Interfaces.

Jérémie Melchior, Jean Vanderdonckt, Peter Van Roy

Int. J. Hum. Comput. Interact., 2012

Modelling and developing distributed user interfaces based on distribution graph.

Jérémie Melchior, Jean Vanderdonckt, Peter Van Roy

Proceedings of the Sixth International Conference on Research Challenges in Information Science, 2012

Modular fault handling in a network-transparent programming language.

Géry Debongnie, Raphaël Collet, Sébastien Doeraene, Peter Van Roy

Proceedings of the 5th International Workshop on Exception Handling, 2012

A New Approach for Constraint Programming in Music using Relation Domains.

Sascha Van Cauwelaert, Gustavo Gutierrez, Peter Van Roy

Proceedings of the Non-Cochlear Sound: Proceedings of the 38th International Computer Music Conference, 2012

Towards trust inference from bipartite social networks.

Daire O'Doherty, Salim Jouili, Peter Van Roy

Proceedings of the 2nd ACM SIGMOD Workshop on Databases and Social Networks, 2012

2011

Distribution Primitives for Distributed User Interfaces.

Jérémie Melchior, Jean Vanderdonckt, Peter Van Roy

Proceedings of the Distributed User Interfaces, 2011

A model-based approach for distributed user interfaces.

Jérémie Melchior, Jean Vanderdonckt, Peter Van Roy

Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011

2010

Beernet: Building Self-Managing Decentralized Systems with Replicated Transactional Storage.

Boris Mejías, Peter Van Roy

Int. J. Adapt. Resilient Auton. Syst., 2010

Lock-Free Decentralized Storage for Transactional Upgrade Rollback.

Boris Mejías, Gustavo Gutierrez, Peter Van Roy, John Thomson, Paulo Trezentos

Proceedings of the 19th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2010

From Mini-clouds to Cloud Computing.

Boris Mejías, Peter Van Roy

Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

2009

A toolkit for peer-to-peer distributed user interfaces: concepts, implementation, and applications.

Jérémie Melchior, Donatien Grolaux, Jean Vanderdonckt, Peter Van Roy

Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009

2008

The Relaxed-Ring: a Fault-Tolerant Topology for Structured Overlay Networks.

Boris Mejías, Peter Van Roy

Parallel Process. Lett., 2008

PALTA: Peer-to-peer AdaptabLe Topology for Ambient intelligence.

Alfredo Cádiz, Boris Mejías, Jorge Vallejos, Kim Mens, Peter Van Roy, Wolfgang De Meuter

Proceedings of the XXVII International Conference of the Chilean Computer Science Society (SCCC 2008), 2008

A Self-Adaptable Network Topology for Ambient Intelligence.

Boris Mejías, Alfredo Cádiz, Peter Van Roy, Kim Mens

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

WSN and P2P: A Self-Managing Marriage.

Gustavo Gutierrez, Boris Mejías, Peter Van Roy, Diana Velasco, Juan Torres

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Visualizing Transactional Algorithms for DHTs.

Boris Mejías, Mikael Högqvist, Peter Van Roy

Proceedings of the Proceedings P2P'08, 2008

Reinventing Audio and Music Computation for Many-Core Processors.

David Wessel, Roger B. Dannenberg, Yann Orlarey, Miller S. Puckette, Peter Van Roy, Ge Wang

Proceedings of the 2008 International Computer Music Conference, 2008

The Challenges and Opportunities of Multiple Processors: Why Multi-Core Processors are Easy and Internet is Hard.

Peter Van Roy

Proceedings of the 2008 International Computer Music Conference, 2008

Improving the Peer-to-Peer Ring for Building Fault-Tolerant Grids.

Boris Mejías, Donatien Grolaux, Peter Van Roy

Proceedings of the Grid and Services Evolution, 2008

Overcoming Software Fragility with Interacting Feedback Loops and Reversible Phase Transitions.

Peter Van Roy

Proceedings of the Visions of Computer Science, 2008

2007

A Relaxed-Ring for Self-Organising and Fault-Tolerant Peer-to-Peer Networks.

Boris Mejías, Peter Van Roy

Proceedings of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), 2007

PEPINO: PEer-to-Peer network INspectOr.

Donatien Grolaux, Boris Mejías, Peter Van Roy

Proceedings of the Seventh IEEE International Conference on Peer-to-Peer Computing (P2P 2007), 2007

Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project.

Peter Van Roy, Seif Haridi, Alexander Reinefeld, Jean-Bernard Stefani, Roland H. C. Yap, Thierry Coupaye

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

2006

Self Management and the Future of Software Design.

Peter Van Roy

Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006

Using Dominators for Solving Constrained Path Problems.

Luis Quesada, Peter Van Roy, Yves Deville, Raphaël Collet

Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place.

Peter Van Roy

Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

Failure Handling in a Network-Transparent Distributed Programming Language.

Raphaël Collet, Peter Van Roy

Proceedings of the Advanced Topics in Exception Handling Techniques (the book grow out of ECOOP workshops), 2006

2005

A Practical Formal Model for Safety Analysis in Capability-Based Systems.

Fred Spiessens, Peter Van Roy

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

Attach Me, Detach Me, Assemble Me Like You Work.

Donatien Grolaux, Jean Vanderdonckt, Peter Van Roy

Proceedings of the Human-Computer Interaction, 2005

A Design Space for Context-Sensitive User Interfaces.

Jean Vanderdonckt, Donatien Grolaux, Peter Van Roy, Quentin Limbourg, Benoît Macq, Benoît Michel

Proceedings of the ISCA 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2005

Speeding Up Constrained Path Solvers with a Reachability Propagator.

Luis Quesada, Peter Van Roy, Yves Deville

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language.

Fred Spiessens, Peter Van Roy

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

P2PS: Peer-to-Peer Development Platform for Mozart.

Valentin Mesaros, Bruno Carton, Peter Van Roy

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

A Fault Tolerant Abstraction for Transparent Distributed Programming.

Donatien Grolaux, Kevin Glynn, Peter Van Roy

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

Overcoming the Multiplicity of Languages and Technologies for Web-Based Development Using a Multi-paradigm Approach.

Sameh El-Ansary, Donatien Grolaux, Peter Van Roy, Mahmoud Rafea

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

Migratable User Interfaces: Beyond Migratory Interfaces.

Donatien Grolaux, Peter Van Roy, Jean Vanderdonckt

Proceedings of the 1st Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2004), 2004

Topic 18: Peer-to-Peer and Web Computing.

Seif Haridi, Karl Aberer, Peter Van Roy, Michele Colajanni

Proceedings of the Euro-Par 2004 Parallel Processing, 2004

Concepts, Techniques, and Models of Computer Programming

Peter Van Roy, Seif Haridi

MIT Press, ISBN: 0-262-22069-5, 2004

2003

Logic programming in the context of multiparadigm programming: the Oz experience.

Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte

Theory Pract. Log. Program., 2003

The role of language paradigms in teaching programming.

Peter Van Roy, Joe Armstrong, Matthew Flatt, Boris Magnusson

Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003

S-Chord: Using Symmetry to Improve Lookup Efficiency in Chord.

Valentin Mesaros, Bruno Carton, Peter Van Roy

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

2002

FlexClock, a Plastic Clock Written in Oz with the QTk toolkit.

Donatien Grolaux, Peter Van Roy, Jean Vanderdonckt

Proceedings of the Task Models and Diagrams for User Interface Design: Proceedings of the First International Workshop on Task Models and Diagrams for User Interface Design, 2002

NetProber: A Component for Enhancing Efficiency of Overlay Networks in P2P Systems.

Luc Onana Alima, Valentin Mesaros, Peter Van Roy, Seif Haridi

Proceedings of the 2nd International Conference on Peer-to-Peer Computing (P2P 2002), 2002

Teaching Programming Broadly and Deeply: The Kernel Language Approach.

Peter Van Roy, Seif Haridi

Proceedings of the Informatics Curricula and Teaching Methods, 2002

Teaching Programming and Problem Solving.

Elliot B. Koffman, Torsten Brinda, Juan Alvarez, Amruth N. Kumar, Maria Lúcia Blanck Lisbôa, Juris Reinfelds, Peter Van Roy, Raul Sidnei Wazlawick

Proceedings of the Informatics Curricula and Teaching Methods, 2002

A Concurrent Constraint Programming Approach for Trajectory Determination of Autonomous Vehicles.

Luis Quesada, Peter Van Roy

Proceedings of the Principles and Practice of Constraint Programming, 2002

2001

QTk - A Mixed Declarative/Procedural Approach for Designing Executable User Interfaces.

Donatien Grolaux, Peter Van Roy, Jean Vanderdonckt

Proceedings of the Engineering for Human-Computer Interaction, 2001

2000

Service Combinators for WEB Computing in Distributed Oz.

Mustapha Hadim, Peter Van Roy

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

1999

Efficient logic variables for distributed computing.

Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, Gert Smolka

ACM Trans. Program. Lang. Syst., 1999

Announcing the Mozart Programming System.

Peter Van Roy

ACM SIGPLAN Notices, 1999

Logic Programming in Oz with Mozart.

Peter Van Roy

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1998

Programming Languages for Distributed Applications.

Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte

New Gener. Comput., 1998

A Lightweight Object Migration Protocol.

Peter Van Roy, Per Brand, Seif Haridi, Raphaël Collet

Proceedings of the Internet Programming Languages, 1998

1997

Mobile Objects in Distributed Oz.

Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, Ralf Scheidhauer

ACM Trans. Program. Lang. Syst., 1997

An overview of the design of Distributed Oz.

Seif Haridi, Peter Van Roy, Gert Smolka

Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, 1997

1996

Design and Analysis of Hardware for High-Performance Prolog.

Bruce K. Holmer, Barton Sano, Michael J. Carlton, Peter Van Roy, Alvin M. Despain

J. Log. Program., 1996

Integrating Efficient Records into Concurrent Constraint Programming.

Peter Van Roy, Michael Mehl, Ralf Scheidhauer

Proceedings of the Programming Languages: Implementations, 1996

1995

Integrating Records into Concurrent Constraint Programming: A Case Study for DFKI Oz (Abstract).

Peter Van Roy

Proceedings of the 11. Workshop Logische Programmierung, 1995

A Detailed Algorithm Testing Guards over Feature Trees.

Andreas Podelski, Peter Van Roy

Proceedings of the Constraint Processing, Selected Papers, 1995

1994

1983-1993: The Wonder Years of Sequential Prolog Implementation.

Peter Van Roy

J. Log. Program., 1994

The Beauty and the Beast Algorithm: Quasi-Linear Incremental Tests of Entailment and Disentailment over Trees.

Andreas Podelski, Peter Van Roy

Proceedings of the Logic Programming, 1994

1993

Announcing the Release of Aquarius Prolog.

Thomas W. Getzinger, Ralph Clarke Haygood, Peter Van Roy

ACM SIGPLAN Notices, 1993

The Beauty and the Beast Algorithm.

Andreas Podelski, Peter Van Roy

Proceedings of the Logic Programming, 1993

Challenges in Developing Useful and Practical Static Analysis for Logic Programs.

Peter Van Roy

Proceedings of the Static Analysis, Third International Workshop, 1993

Techniques avancées de compilation de Prolog: l'état de l'art et l'avenir.

Peter Van Roy

Proceedings of the 2èmes Journées Francophones de Programmation Logique (JFPL 93), 1993

The Beauty and the Beast Algorithm: Testing Entailment and Disentailment Incrementally.

Andreas Podelski, Peter Van Roy

Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, 1993

An Informal Introduction to LIFE.

Hassan Aït-Kaci, Andreas Podelski, Peter Van Roy

Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, 1993

1992

High-Performance Logic Programming with the Aquarius Prolog Compiler.

Peter Van Roy, Alvin M. Despain

Computer, 1992

1990

Can Logic Programming Execute as Fast as Imperative Programming?

Peter Van Roy

PhD thesis, 1990

The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler.

Peter Van Roy, Alvin M. Despain

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

Fast Prolog with an Extended General Purpose Architecture.

Bruce K. Holmer, Barton Sano, Michael J. Carlton, Peter Van Roy, Ralph Clarke Haygood, William R. Bush, Alvin M. Despain, Joan M. Pendleton, Tep P. Dobry

Proceedings of the 17th Annual International Symposium on Computer Architecture, 1990

1989

A useful extension to Prolog's definite clause grammar notation.

Peter Van Roy

ACM SIGPLAN Notices, 1989

An Intermediate Language to Support Prolog's Unification.

Peter Van Roy

Proceedings of the Logic Programming, 1989

1988

A Distributed Prolog System with And Parallelism.

Mike Carlton, Peter Van Roy

IEEE Softw., 1988

1987

Aquarius.

Alvin M. Despain, Yale N. Patt, Vason P. Srini, Philip Bitar, William R. Bush, C. Chien, Wayne Citrin, Barry Fagin, Wenwei Hwu, Stephen W. Melvin, Rick McGeer, Ashok Singhal, Michael Shebanow, Peter Van Roy

SIGARCH Comput. Archit. News, 1987

Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism.

Peter Van Roy, Bart Demoen, Yves D. Willems

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

1984

A Prolog Compiler for the PLM.

Peter Van Roy

MSc thesis, 1984