Mads Rosendahl

Søgeresultater

• 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. (red.). Cambridge, Massachusetts: MIT Press, s. 259-278 20 s. (Design thinking, design theory; Nr. [6]).

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer 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. (red.). Berlin: Kluwer Academic Publishers, s. 404-419 16 s. (Lecture Notes in Computer Science, Bind 2566).

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
• 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, s. 246-362 17 s. (Lecture Notes in Computer Science, Bind 864).

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

• Higher-Order Minimal Functional Graphs.

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

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

• 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. (red.). Bordeaux, France: IRISA, s. 60-67 8 s. (Bigre, Bind 81-82).

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

• Strictness Analysis for Attribute Grammars

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

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

• 1990

  Abstract Interpretation Using Attribute Grammar

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

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

• 1989

  Automatic Complexity Analysis

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

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning