ACM Press
Local database
Publisher
- Published
A Prescriptive Framework for Designing Multi-Level Lambda-Calculi. / Nielson, Flemming; Nielson, Hanne Riis.
In: Proc. PEPM'97. ACM Press, 1997. p. 193-202.Publication: Research - peer-review › Article in proceedings – Annual report year: 1997
- Published
A Systematic Kernel Development. / Søgaard-Andersen, Jørgen F.; Rump, Camilla Østerberg; Løvengreen, Hans Henrik.
In: ACM Software Engineering Notes. Vol. Vol. 16, No. 5. ACM Press, 1991. p. 55-65.Publication: Research - peer-review › Article in proceedings – Annual report year: 1991
- Published
Bounded Fixed Point Iteration. / Nielson, Hanne Riis; Nielson, Flemming.
In: Proc. POPL'92. ACM Press, 1992. p. 71-82.Publication: Research - peer-review › Article in proceedings – Annual report year: 1992
- Published
Context Information for Lazy Code Generation. / Nielson, Hanne Riis; Nielson, Flemming.
In: Proc. LISP and Functional Programming. ACM Press, 1990. p. 251-263.Publication: Research - peer-review › Article in proceedings – Annual report year: 1990
- Published
Design and Management of Networked Information Systems.. / Havn, Erling; Bansler, Jørgen P.
In: Proceedings of the 1996 ACM SIGCPR/SIGMIS Conference. New York : ACM Press, 1996. p. 381-385.Publication: Research - peer-review › Article in proceedings – Annual report year: 1996
- Published
Finiteness Conditions for Fixed Point Iteration. / Nielson, Hanne Riis; Nielson, Flemming.
In: Proc. Lisp and Functional Programming (LFP). ACM Press, 1992. p. 96-108.Publication: Research - peer-review › Article in proceedings – Annual report year: 1992
- Published
Generating Web-based Systems from Specifications. / Jensen, Tue Becker; Tolstrup, Terkel K.; Hansen, Michael Reichhardt.
In: The 19th ACM Symposium on Applied Computing (SAC 2004). ACM Press, 2004.Publication: Research - peer-review › Article in proceedings – Annual report year: 2004
- Published
Higher-Order Concurrent Programs with Finite Communication Topology. / Nielson, Hanne Riis; Nielson, Flemming.
In: ACM Conference on Principles of Programming Languages. ACM Press, 1994. p. 84-97.Publication: Research - peer-review › Article in proceedings – Annual report year: 1994
- Published
Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis. / Nielson, Flemming; Nielson, Hanne Riis.
In: Proc. POPL'97. ACM Press, 1997. p. 332-345.Publication: Research - peer-review › Article in proceedings – Annual report year: 1997
- Published
Interactive Information Visualization in Neuroimaging. / Nielsen, Finn Årup; Hansen, Lars Kai.
In: Workshop on New Paradigms in Information Visualization and Manipulation (NPIV'97). New York : ACM Press, 1998. p. 62-65.Publication: Research - peer-review › Article in proceedings – Annual report year: 1998