Department of Informatics and Mathematical Modeling

  1. Published

    Comments on Georgeff's Transformation and Reduction Strategies for Typed Lambda Expressions. / Nielson, Flemming; Nielson, Hanne Riis.

    In: A C M Transactions on Programming Languages and Systems, Vol. 8, No. 3, 1986, p. 406-407.

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

  2. Published

    Correctness of Code Generation from a Two-Level Meta-Language (Extended Abstract). / Nielson, Flemming.

    Proc. ESOP'86. Springer-Verlag, 1986. p. 30-40.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1986

  3. Published

    Expected Forms of Data Flow Analysis. / Nielson, Flemming.

    Programs as Data Objects. Springer-Verlag, 1986. p. 172-191.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1986

  4. Published

    Pragmatic Aspects of Two-Level Denotational Meta-Languages. / Nielson, Hanne Riis; Nielson, Flemming.

    Proc. ESOP'86. Springer-Verlag, 1986. p. 133-143.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1986

  5. Published

    Semantics Directed Compiling for Functional Languages. / Nielson, Hanne Riis; Nielson, Flemming.

    Proc. ACM Conference on LISP and Functional Programming. 1986. p. 249-257.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1986

  6. Published
  7. Published

    A POLYNET to VME-bus Interface Unit - Block diagram and principles of oparation. / Sparsø, Jens.

    Department of Computer Science, Technical University of Denmark, 1986.

    Publication: Research - peer-reviewReport – Annual report year: 1986

  8. Published

    Hardware Architecture of a Node for the LAN-DTH High Speed Token Ring. / Sparsø, Jens.

    1986.

    Publication: Research - peer-reviewReport – Annual report year: 1986

  9. Published
  10. Published

    The use of remote sensing in mapping of oxidized zones and lineaments in Greenland. / Thyrsted, T.; Conradsen, Knut; Ersbøll, Bjarne Kjær; Nilsson, G.

    First European Workshop in Remote Sensing in Mineral Exploration, Bruxelles. 1986. p. 111-125.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1986

Download list: To download, please limit the number of search results to 1,000 or less.