ACM Press

Local database

Publisher

  1. Research › Book
  2. Published

    SIGIR '92. Proceedings. / Belkin, N. (Editor); Ingwersen, P. (Editor); Pejtersen, Annelise Mark (Editor).

    New York : ACM Press, 1992. 353 p. (SIGIR Forum Special Issue, 1992).

    Publication: Research - peer-reviewBook – Annual report year: 1992

  3. Research › Article in proceedings
  4. 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

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

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

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

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

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

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

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

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

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