Peter Van Roy
Peter Van Roy
Professor of Computing Science and Engineering, ICTEAM, EPL, Université catholique de Louvain
Bestätigte E-Mail-Adresse bei uclouvain.be - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Concepts, techniques, and models of computer programming
P Van-Roy, S Haridi
The MIT Press, 2004
7002004
High-performance logic programming with the Aquarius Prolog compiler
P Van Roy, AM Despain
Computer 25 (1), 54-68, 1992
2191992
Can logic programming execute as fast as imperative programming?
PL Van Roy
University of California at Berkeley, 1990
2141990
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
1721997
1983-1993: The wonder years of sequential Prolog implementation
P Van Roy
The Journal of Logic Programming 19, 385-441, 1994
1351994
Programming languages for distributed applications
S Haridi, P Van Roy, P Brand, C Schulte
New Generation Computing 16 (3), 223-261, 1998
1171998
Programming paradigms for dummies: What every programmer should know
P Van Roy
New computational paradigms for computer music 104, 616-621, 2009
1082009
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
1012009
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
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
801999
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
Lasp: A language for distributed, coordination-free programming
C Meiklejohn, P Van Roy
Proceedings of the 17th International Symposium on Principles and Practice …, 2015
752015
Logic programming in the context of multiparadigm programming: the Oz experience
P Van Roy, P Brand, D Duchier, S Haridi, M Henz, C Schulte
arXiv preprint cs/0208029, 2002
692002
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
691990
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
632017
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
632011
Self management and the future of software design
P Van Roy
Electronic Notes in Theoretical Computer Science 182, 201-217, 2007
592007
A Prolog Compiler for the PLM
PL Van Roy
University of California at Berkeley, 1984
581984
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
571990
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
532003
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20