Groups
Sign in
Groups
PLPV Discuss
Conversations
About
Send feedback
Help
PLPV Discuss
Contact owners and managers
1–6 of 6
Mark all as read
Report group
0 selected
Aaron Stump
,
Cormac Flanagan
2
1/25/10
PLPV 2010: great meeting!
Hi Aaron, Jean-Christophe filled me in on the success of PLPV. I'm delighted it went so well and
unread,
PLPV 2010: great meeting!
Hi Aaron, Jean-Christophe filled me in on the success of PLPV. I'm delighted it went so well and
1/25/10
Cormac Flanagan
11/10/09
Fwd: PLPV 2010 accepted papers
The ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV) 2010 will be held
unread,
Fwd: PLPV 2010 accepted papers
The ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV) 2010 will be held
11/10/09
Aaron Stump
5/2/09
good news, PLPV 2010
Dear PLPV Discuss, Just a quick announcement: we learned Friday that the next edition of PLPV has
unread,
good news, PLPV 2010
Dear PLPV Discuss, Just a quick announcement: we learned Friday that the next edition of PLPV has
5/2/09
Adam Chlipala
,
Hongwei Xi
7
2/6/09
Red-black tree benchmark problem
Hongwei Xi wrote: > On Fri, 6 Feb 2009, Adam Chlipala wrote: > > >>> Hongwei Xi
unread,
Red-black tree benchmark problem
Hongwei Xi wrote: > On Fri, 6 Feb 2009, Adam Chlipala wrote: > > >>> Hongwei Xi
2/6/09
Aaron Stump
,
Hongwei Xi
2
2/1/09
special issue on benchmark problems?
Hello, I have a problem that I encountered when I was writing my thesis in 1998. The following code
unread,
special issue on benchmark problems?
Hello, I have a problem that I encountered when I was writing my thesis in 1998. The following code
2/1/09
Aaron Stump
1/30/09
an example benchmark problem
Hello. Just to get the discussion about the idea of a special issue of a journal on benchmark
unread,
an example benchmark problem
Hello. Just to get the discussion about the idea of a special issue of a journal on benchmark
1/30/09