Travelled to:1 × Denmark
1 × Germany
Collaborated with:∅ J.Knoop B.Steffen
Talks about:construct (1) bitvector (1) parallel (1) program (1) explos (1) experi (1) effici (1) compil (1) analys (1) state (1)
Person: Jürgen Vollmer
DBLP: Vollmer:J=uuml=rgen
Contributed to:
1995
1991Wrote 2 papers:
- TACAS-1995-KnoopSV #analysis #exclamation #explosion #for free #parallel
- Parallelism for Free: Bitvector Analyses -> No State Explosion! (JK, BS, JV), pp. 264–289.
- PLILP-1991-Vollmer #case study #compilation #experience #logic programming #performance
- Experiences with Gentle: Efficient Compiler Construction Based On Logic Programming (JV), pp. 425–426.