• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Multi-result supercompilation as branching growth of the penultimate level in metasystem transitions (2011)

by I Klyuchnikov, S Romanenko
Venue:In PSI 2011
Add To MetaCart

Tools

Sorted by:
Results 1 - 1 of 1

MRSC: a toolkit for building multi-result supercompilers

by Ilya G. Klyuchnikov, Sergei A. Romanenko , 2011
"... The paper explains the principles of multi-result supercompilation. We introduce a formalism for representing supercompilation algorithms as rewriting rules for graphs of congurations. Some low-level technical details related to the implementation of multi-result supercompilation in MRSC are discuss ..."
Abstract - Add to MetaCart
The paper explains the principles of multi-result supercompilation. We introduce a formalism for representing supercompilation algorithms as rewriting rules for graphs of congurations. Some low-level technical details related to the implementation of multi-result supercompilation in MRSC are discussed. In particular, we consider the advantages of using spaghetti stacks for representing graphs of configurations.
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University