Peter Van Roy
Peter Van Roy
Professor of Computing Science and Engineering, ICTEAM, EPL, Université catholique de Louvain
Verifierad e-postadress på uclouvain.be - Startsida
Titel
Citeras av
Citeras av
År
Concepts, techniques, and models of computer programming
P Van-Roy, S Haridi
The MIT Press, 2004
6922004
High-performance logic programming with the Aquarius Prolog compiler
P Van Roy, AM Despain
Computer 25 (1), 54-68, 1992
2251992
Can logic programming execute as fast as imperative programming?
PL Van Roy
University of California at Berkeley, 1990
2111990
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
1741997
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
1201998
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
1032009
Programming paradigms for dummies: What every programmer should know
P Van Roy
New computational paradigms for computer music 104, 616-621, 2009
1032009
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
1011987
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
781997
Lasp: A language for distributed, coordination-free programming
C Meiklejohn, P Van Roy
Proceedings of the 17th International Symposium on Principles and Practice …, 2015
732015
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
692003
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
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
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
Self management and the future of software design
P Van Roy
Electronic Notes in Theoretical Computer Science 182, 201-217, 2007
582007
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
572017
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
522003
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20