Department of Informatics and Mathematical Modeling

  1. Published

    Abstract Interpretation of Denotational Definitions. / Nielson, Flemming.

    Proc. STACS'86. Springer-Verlag, 1986. p. 1-20.

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

  2. Published

    Code Generation from Two-Level Denotational Meta-Languages. / Nielson, Flemming; Nielson, Hanne Riis.

    Programs as Data Objects. Springer-Verlag, 1986. p. 192-205.

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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. Published
  9. 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

  10. 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

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