Science of Computer Programming

ISSNs: 0167-6423

Elsevier BV, Netherlands

FI (2012): 2, ISI indexed (2012): yes

Central database

Journal

All
|Research

1 - 7 out of 7Page size: 10

RSS feed of this list

Sort by: Type and 1st author

Research › Journal article
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
Published
Abstract Interpretation of Mobile Ambients. / Nielson, Flemming ; Hansen, René Rydhof ; Nielson, Hanne Riis.
In: Science of Computer Programming, Vol. 47, No. 2-3, 2003, p. 145-175.
Publication: Research - peer-review › Journal article – Annual report year: 2003
Published
A Hoare-like proof system for analysing the computation time of programs. / Nielson, Hanne Riis.
In: Science of Computer Programming, Vol. 9, No. 2, 1987, p. 107-136.
Publication: Research - peer-review › Journal article – Annual report year: 1987
Published
Automatic Binding Time Analysis for a Typed Lambda-Calculus. / Nielson, Hanne Riis ; Nielson, Flemming.
In: Science of Computer Programming, Vol. 10, No. 2, 1988, p. 139-176.
Publication: Research - peer-review › Journal article – Annual report year: 1988
Published
The tensor product in Wadler's analysis of lists. / Nielson, Flemming ; Nielson, Hanne Riis.
In: Science of Computer Programming, Vol. 22, No. 3, 1994, p. 327-354.
Publication: Research - peer-review › Journal article – Annual report year: 1994
Research › Conference article
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
Published
Strictness and Totality Analysis. / Solberg, K. L.; Nielson, Hanne Riis ; Nielson, Flemming.
In: Science of Computer Programming, Vol. 31, No. 1, 1998, p. 113-145.
Publication: Research - peer-review › Conference article – Annual report year: 1998