• Publications
  • Influence

Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications (all current information on this profile has been aggregated automatically from publisher and metadata sources).
  • Mads Rosendahl
  • Computer Science
  • FPCA
  • 1989 (First Publication: 1 November 1989)
  • One way to analyse programs is to to derive expressions for their computational behaviour. A time bound function (or worst-case complexity) gives an upper bound for the computation time as a functionContinue Reading
  • Neil D. Jones, Mads Rosendahl
  • Mathematics, Computer Science
  • J. Funct. Log. Program.
  • 1994 (First Publication: 14 September 1994)
  • We present a minimal function graph semantics for a higher-order functional language with applicative evaluation order. The semantics captures the intermediate calls performed during the evaluationContinue Reading
  • Mads Rosendahl
  • Computer Science
  • 1993 (First Publication: 25 August 1993)
  • Chaotic iteration sequences is a method for approximating fixpoints of monotonic functions proposed by Patrick and Radhia Cousot. It may be used in specialisation algorithms for Prolog programs andContinue Reading