Research Output 1989 2016

Filter
Book chapter
2014

Designing Software-Based Interactive Installations

Andreasen, T., Juul, N. C. & Rosendahl, M. 2014 Situated Design Methods. Simonsen, J., Svabo, C., Strandvad, S. M., Samson, K., Hertzum, M. & Hansen, O. E. (eds.). Cambridge, Massachusetts: MIT Press, p. 259-278 20 p. (Design thinking, design theory; No. [6]).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

2002

Simple Driving Techniques

Rosendahl, M. 2002 The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones. Mogensen, T., Schmidt, D. A. & Sudborough, I. H. (eds.). Berlin: Kluwer Academic Publishers, p. 404-419 16 p. (Lecture Notes in Computer Science, Vol. 2566).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

1994

Efficient Strictness Analysis of Haskell

Jensen, K. D., Hjæresen, P. & Rosendahl, M. 1994 Static Analysis, First International Static Analysis Symposium, SAS'94. Namur, Belgien: Springer, p. 246-362 17 p. (Lecture Notes in Computer Science, Vol. 864).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Higher-Order Minimal Functional Graphs.

Jones, N. D. & Rosendahl, M. 1994 Algebraic and Logic Programming, 4th International Conference. Levi, G. (ed.). Kluwer Academic Publishers, p. 242-252 11 p. (Lecture Notes in Computer Science, Vol. 850).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

1992

Minimal Function Graphs are not Instrumented

Mycroft, A. & Rosendahl, M. 1992 WSA'92 Workshop on Static Analysis. Billaud, M., Casteran, P., Corsini, MM., Musumbu, K. & Rauzy, A. (eds.). Bordeaux, France: IRISA, p. 60-67 8 p. (Bigre, Vol. 81-82).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Strictness Analysis for Attribute Grammars

Rosendahl, M. 1992 Programming Language Implementation and Logic Programming. Bruynooghe, M. & Wirsing, M. (eds.). Kluwer Academic Publishers, p. 145-157 13 p. (Lecture Notes in Computer Science, Vol. 631).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

1990

Abstract Interpretation Using Attribute Grammar

Rosendahl, M. 1990 Attribute Grammars and their Applications. Deransart, P. & Jourdan, M. (eds.). Kluwer Academic Publishers, p. 143-156 14 p. (Lecture Notes in Computer Science, Vol. 461).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

1989

Automatic Complexity Analysis

Rosendahl, M. 1989 FPCA '89 Conference on Functional Programming Languages and Computer Architecture.. London, England: Association for Computing Machinery, p. 144-156 13 p.

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch