Science of Computer Programming

ISSNs: 0167-6423, 01676423

ISSNs (Electronic): 1872-7964

Elsevier BV, Netherlands

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

Central database

Journal

  1. 2014
  2. Published

    The logic of XACML. / Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming.

    In: Science of Computer Programming, Vol. 83, 2014, p. 80-105.

    Publication: Research - peer-reviewJournal article – Annual report year: 2014

  3. 2013
  4. Published

    Foreword: Science of Computer Programming, special section from the Principles and Practice of Programming in Java conference. / Aleksy, Markus; Gitzel, Ralf; Krall, Andreas; Mössenböck, Hanspeter ; Probst, Christian W.; Stephenson, Ben .

    In: Science of Computer Programming, Vol. 78, 2013, p. 423-424.

    Publication: ResearchEditorial – Annual report year: 2013

  5. Published

    Predictive access control for distributed computation. / Yang, Fan; Hankin, Chris; Nielson, Flemming; Nielson, Hanne Riis.

    In: Science of Computer Programming, Vol. 78, No. 9, 2013, p. 1264-1277.

    Publication: Research - peer-reviewJournal article – Annual report year: 2013

  6. 2010
  7. 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-reviewConference article – Annual report year: 2010

  8. 2005
  9. 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-reviewJournal article – Annual report year: 2005

  10. 2003
  11. 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-reviewJournal article – Annual report year: 2003

  12. 1998
  13. 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-reviewConference article – Annual report year: 1998

  14. 1994
  15. 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-reviewConference article – Annual report year: 1994

  16. 1988
  17. 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-reviewJournal article – Annual report year: 1988

  18. 1987
  19. 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-reviewJournal article – Annual report year: 1987

Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word