View Document Preview and Link Document Date: 2005-04-13 07:44:53 Open Document File Size: 534,19 KB Share Result on Facebook
City Introduction Reduction / / Country Denmark / / Currency Rs / / / Facility Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / University of Aarhus / University of Copenhagen / / IndustryTerm normalization algorithm / abstract algorithm / concrete algorithm / tentative algorithm / rule applications / / Organization Danish National Research Foundation / BRICS Department / University of Aarhus / University of Copenhagen / Computer Science University of Aarhus Ny Munkegade / / Person Henning Korsholm Rohde / / / Position compositional interpreter / first author / proof assistant / / ProgrammingLanguage Haskell / C / ML / / Technology 1.3 The Berger-Schwichtenberg normalization algorithm / normalization algorithm / underlying algorithm / concrete algorithm / abstract algorithm / dom / 4.2 The normalization algorithm / untyped / reduction-based NBE-like algorithm / NBE algorithm / / URL www.brics.dk / ftp / SocialTag 
BRICS RS-05-4 Filinski & Rohde: Denotational Aspects of Untyped Normalization by Evaluation BRICS Basic Research in Computer Science