MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Peter Van Roy" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

50 documents found, showing 1 through 10. Next 10 →

ATOM

The Challenges and Opportunities of Multiple Processors: Why Multi-Core Processors are Easy and Internet is Hard
by Peter Van Roy
… and Internet is Hard Peter Van Roy Department of Computing Science and Engineering Université catholique de…
Add To MetaCart

Overcoming Software Fragility with Interacting Feedback Loops
by Peter Van Roy
…- Peter Van Roy Dept. of Computing Science and Engineering Université catholique de Louvain B-1348 Louvain…
Add To MetaCart

Thesis: Extended DCG notation: A tool for applicative programming in Prolog
by Peter Van Roy — 213
…This report describes an extension to Prolog's Definite Clause Grammar notation that implements this idea.…
Add To MetaCart

Logic Programming in Oz with Mozart
by Peter Van Roy — 1999 — In International Conference on Logic Programming (ICLP 99
…Logic Programming in Oz with Mozart Peter Van Roy Universit'e catholique de Louvain B-1348…
Cited by 8 (2 self) – Add To MetaCart

Convergence in language design: a case of lightning striking four times in the same place. FLOPS
by Peter Van Roy — 2006 — in the Same Place, 8th International Symposium on Functional and Logic Programming (FLOPS 2006), April 2006, Springer LNCS
… Van Roy Université catholique de Louvain, B-1348 Louvain-la-Neuve, Belgium pvr@(email omitted); http…
Cited by 3 (1 self) – Add To MetaCart

On The Separation Of Concerns In Distributed Programming: Application To Distribution Structure And Fault Tolerance In Mozart
by Peter Van Roy — 1999 — In International Workshop on Parallel and Distributed Computing for Symbolic and Irregular Applications (PDSIA 99), Tohoku
… AND FAULT TOLERANCE IN MOZART PETER VAN ROY Universit'e catholique de Louvain, B-1348 Louvain…
Cited by 9 (4 self) – Add To MetaCart

Self Management and the Future of Software Design
by Peter Van Roy — 2006 — In: Formal Aspects of Component Software (FACS
…Abstract FACS 2006 Self Management and the Future of Software Design Peter Van Roy 1,2 Dept…
Cited by 7 (4 self) – Add To MetaCart

1983--1993: The Wonder Years of Sequential Prolog Implementation
by Peter Van Roy — 1993
…PARIS RESEARCH LABORATORY d i g i t a l December 1993 36 Peter Van Roy 1983--1993: The Wonder…
Cited by 45 (4 self) – Add To MetaCart

A practical formal model for safety analysis in Capability-Based systems
by Fred Spiessens, Peter Van Roy — 2005 — In Trustworthy Global Computing, International Symposium, TGC 2005
… Van Roy Université catholique de Louvain Louvain-la-Neuve, Belgium {fsp,pvr}@(email omitted); Abstract…
Cited by 6 (1 self) – Add To MetaCart

Failure Handling in a Network-Transparent Distributed Programming Language
by Raphaël Collet, Peter Van Roy — 2006 — In Advanced Topics in Exception Handling Techniques
… and Peter Van Roy Université catholique de Louvain, B-1348 Louvain-la-Neuve, Belgium {raph, pvr…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB