BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Germany
1 × Japan
2 × Italy
5 × USA
Collaborated with:
∅ A.Podelski C.Meiklejohn A.M.Despain M.Mehl R.Scheidhauer B.Demoen Y.D.Willems L.Quesada Y.Deville R.Collet Christopher S. Meiklejohn Vitor Enes Junghun Yoo C.Baquero A.Bieniusa
Talks about:
program (5) languag (3) prolog (3) algorithm (2) practic (2) analysi (2) compil (2) beauti (2) logic (2) beast (2)

Person: Peter Van Roy

DBLP DBLP: Roy:Peter_Van

Contributed to:

PPDP 20152015
FLOPS 20062006
PADL 20062006
ICLP 19991999
PLILP 19961996
ILPS 19941994
ILPS 19931993
WSA 19931993
NACLP 19901990
NACLP 19891989
TAPSOFT, Vol.2: CFLP 19871987
PPDP 20172017

Wrote 12 papers:

PPDP-2015-MeiklejohnR #coordination #distributed #named #programming
Lasp: a language for distributed, coordination-free programming (CM, PVR), pp. 184–195.
FLOPS-2006-Roy #convergence #design
Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place (PVR), pp. 2–12.
PADL-2006-QuesadaRDC #problem #using
Using Dominators for Solving Constrained Path Problems (LQ, PVR, YD, RC), pp. 73–87.
ICLP-1999-Roy #logic programming
Logic Programming in Oz with Mozart (PVR), pp. 38–51.
PLILP-1996-RoyMS #concurrent #constraints #performance #programming
Integrating Efficient Records into Concurrent Constraint Programming (PVR, MM, RS), pp. 438–453.
ILPS-1994-PodelskiR #algorithm #incremental #testing
The Beauty and the Beast Algorithm: Quasi-Linear Incremental Tests of Entailment and Disentailment over Trees (AP, PVR), pp. 359–374.
ILPS-1993-PodelskiR #algorithm
The Beauty and the Beast Algorithm (AP, PVR), p. 653.
WSA-1993-Roy #challenge #logic programming #source code #static analysis
Challenges in Developing Useful and Practical Static Analysis for Logic Programs (PVR), p. 111.
NACLP-1990-RoyD #analysis #compilation #data flow #optimisation #prolog
The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler (PVR, AMD), pp. 501–515.
NACLP-1989-Roy #prolog #unification
An Intermediate Language to Support Prolog’s Unification (PVR), pp. 1148–1164.
CFLP-1987-RoyDW #execution #prolog
Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism (PVR, BD, YDW), pp. 111–125.
PPDP-2017-MeiklejohnEYBRB #case study #evaluation #experience #programming #scalability
Practical evaluation of the Lasp programming model at large scale: an experience report (CSM, VE, JY, CB, PVR, AB), pp. 109–114.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.