Christian W. Probst
Sort by: Publication year
- 2010
- Published
From Flow Logic to static type systems for coordination languages. / De Nicola, Rocco; Gorla, Daniele; Hansen, Rene Rydhof; Nielson, Flemming; Nielson, Hanne Riis; Probst, Christian W.; Pugliese, Rosario.
In: Science of Computer Programming, Vol. 75, No. 6, 2010, p. 376-397.Publication: Research - peer-review › Conference article – Annual report year: 2010
- 2005
- Published
A portable virtual machine target for proof-carrying code. / Franz, Michael; Chandra, Deepak; Gal, Andreas; Haldar, Vivek; Probst, Christian W.; Reig, Fermin; Wang, Ning.
In: Science of Computer Programming, Vol. 57, No. 3, 2005, p. 275-294.Publication: Research - peer-review › Journal article – Annual report year: 2005