Peter Van Roy
Peter Van Roy
Professor of Computing Science and Engineering, ICTEAM, EPL, Université catholique de Louvain
Adresse e-mail validée de uclouvain.be - Page d'accueil
Titre
Citée par
Citée par
Année
Concepts, techniques, and models of computer programming
P Van-Roy, S Haridi
The MIT Press, 2004
6752004
High-performance logic programming with the Aquarius Prolog compiler
P Van Roy, AM Despain
Computer 25 (1), 54-68, 1992
2231992
Can logic programming execute as fast as imperative programming?
PL Van Roy
University of California at Berkeley, 1990
2101990
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
1731997
1983-1993: The wonder years of sequential Prolog implementation
P Van Roy
The Journal of Logic Programming 19, 385-441, 1994
1331994
Programming languages for distributed applications
S Haridi, P Van Roy, P Brand, C Schulte
New Generation Computing 16 (3), 223-261, 1998
1201998
Improving the execution speed of compiled Prolog with modes, clause selection, and determinism
P Van Roy, B Demoen, YD Willems
International Joint Conference on Theory and Practice of Software …, 1987
1001987
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
972009
Programming paradigms for dummies: What every programmer should know
P Van Roy
New computational paradigms for computer music 104, 616-621, 2009
942009
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
821999
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
771997
A Prolog Compiler for the PLM
PL Van Roy
University of California at Berkeley, 1984
711984
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
682003
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
681990
Lasp: A language for distributed, coordination-free programming
C Meiklejohn, P Van Roy
Proceedings of the 17th International Symposium on Principles and Practice …, 2015
622015
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
591990
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
582011
Self management and the future of software design
P Van Roy
Electronic Notes in Theoretical Computer Science 182, 201-217, 2007
582007
Multiparadigm programming in Oz
M Müller, T Müller, P Van Roy
Workshop on the future of logic programming, international logic programming …, 1995
511995
Using dominators for solving constrained path problems
L Quesada, P Van Roy, Y Deville, R Collet
International Symposium on Practical Aspects of Declarative Languages, 73-87, 2006
492006
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20