ACM Press

Local database

Publisher

  1. Published

    A Prescriptive Framework for Designing Multi-Level Lambda-Calculi. / Nielson, Flemming; Nielson, Hanne Riis.

    Proc. PEPM'97. ACM Press, 1997. p. 193-202.

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

  2. Published

    A Systematic Kernel Development. / Søgaard-Andersen, Jørgen F.; Rump, Camilla Østerberg; Løvengreen, Hans Henrik.

    ACM Software Engineering Notes. Vol. Vol. 16, No. 5. ACM Press, 1991. p. 55-65.

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

  3. Published

    Bounded Fixed Point Iteration. / Nielson, Hanne Riis; Nielson, Flemming.

    Proc. POPL'92. ACM Press, 1992. p. 71-82.

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

  4. Published

    Context Information for Lazy Code Generation. / Nielson, Hanne Riis; Nielson, Flemming.

    Proc. LISP and Functional Programming. ACM Press, 1990. p. 251-263.

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

  5. Published

    Design and Management of Networked Information Systems.. / Havn, Erling; Bansler, Jørgen P.

    Proceedings of the 1996 ACM SIGCPR/SIGMIS Conference. New York : ACM Press, 1996. p. 381-385.

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

  6. Published

    Finiteness Conditions for Fixed Point Iteration. / Nielson, Hanne Riis; Nielson, Flemming.

    Proc. Lisp and Functional Programming (LFP). ACM Press, 1992. p. 96-108.

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

  7. Published

    Generating Web-based Systems from Specifications. / Jensen, Tue Becker; Tolstrup, Terkel K.; Hansen, Michael Reichhardt.

    The 19th ACM Symposium on Applied Computing (SAC 2004). ACM Press, 2004.

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

  8. Published

    Higher-Order Concurrent Programs with Finite Communication Topology. / Nielson, Hanne Riis; Nielson, Flemming.

    ACM Conference on Principles of Programming Languages. ACM Press, 1994. p. 84-97.

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

  9. Published

    Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis. / Nielson, Flemming; Nielson, Hanne Riis.

    Proc. POPL'97. ACM Press, 1997. p. 332-345.

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

  10. Published

    Interactive Information Visualization in Neuroimaging. / Nielsen, Finn Årup; Hansen, Lars Kai.

    Workshop on New Paradigms in Information Visualization and Manipulation (NPIV'97). New York : ACM Press, 1998. p. 62-65.

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

Previous 1 2 Next
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