Follow
Peter Van Roy
Peter Van Roy
Professor of Computing Science and Engineering, ICTEAM, EPL, Université catholique de Louvain
Verified email at uclouvain.be - Homepage
Title
Cited by
Cited by
Year
Concepts, techniques, and models of computer programming
P Van-Roy, S Haridi
The MIT Press, 2004
8152004
High-performance logic programming with the Aquarius Prolog compiler
P Van Roy, AM Despain
Computer 25 (1), 54-68, 1992
2581992
Can logic programming execute as fast as imperative programming?
PL Van Roy
University of California at Berkeley, 1990
2351990
Mobile objects in distributed oz
P Van Roy, S Haridi, P Brand, G Smolka, M Mehl, R Scheidhauer
ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (5), 804-851, 1997
1851997
Programming paradigms for dummies: What every programmer should know
P Van Roy
New computational paradigms for computer music 104, 616-621, 2009
1482009
1983-1993: The wonder years of sequential Prolog implementation
P Van Roy
The Journal of Logic Programming 19, 385-441, 1994
1461994
Programming languages for distributed applications
S Haridi, P Van Roy, P Brand, C Schulte
New Generation Computing 16 (3), 223-261, 1998
1281998
Improving the execution speed of compiled Prolog with modes, clause selection, and determinism
P Van Roy, B Demoen, YD Willems
TAPSOFT'87: Proceedings of the International Joint Conference on Theory and …, 1987
1221987
Saturn: A distributed metadata service for causal consistency
M Bravo, L Rodrigues, P Van Roy
Proceedings of the Twelfth European Conference on Computer Systems, 111-126, 2017
1082017
A toolkit for peer-to-peer distributed user interfaces: concepts, implementation, and applications
J Melchior, D Grolaux, J Vanderdonckt, P Van Roy
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive …, 2009
1072009
Lasp: A language for distributed, coordination-free programming
C Meiklejohn, P Van Roy
Proceedings of the 17th International Symposium on Principles and Practice …, 2015
992015
Efficient logic variables for distributed computing
S Haridi, P Van Roy, P Brand, M Mehl, R Scheidhauer, G Smolka
ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (3), 569-626, 1999
881999
An overview of the design of Distributed Oz
S Haridi, P Van Roy, G Smolka
Proceedings of the second international symposium on parallel symbolic …, 1997
811997
The benefits of global dataflow analysis for an optimizing Prolog compiler
PV Roy, AM Despain
Proceedings of the 1990 North American conference on Logic programming, 501-515, 1990
771990
Logic programming in the context of multiparadigm programming: the Oz experience
P Van Roy, P Brand, D Duchier, S Haridi, C Schulte, M Henz
Theory and practice of logic programming 3 (6), 717-763, 2003
762003
Fast Prolog with an extended general purpose architecture
BK Holmer, B Sano, M Carlton, P Van Roy, R Haygood, WR Bush, ...
ACM SIGARCH Computer Architecture News 18 (2SI), 282-291, 1990
721990
A model-based approach for distributed user interfaces
J Melchior, J Vanderdonckt, P Van Roy
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive …, 2011
702011
A Prolog Compiler for the PLM
PL Van Roy
University of California at Berkeley, 1984
67*1984
Automatic grading of programming exercises in a MOOC using the INGInious platform
G Derval, A Gego, P Reinbold, B Frantzen, P Van Roy
European Stakeholder Summit on experiences and best practices in and around …, 2015
662015
The role of language paradigms in teaching programming
P Van Roy, J Armstrong, M Flatt, B Magnusson
ACM SIGCSE Bulletin 35 (1), 269-270, 2003
632003
The system can't perform the operation now. Try again later.
Articles 1–20