1999, English, Article edition: How to Deforest in Accumulative Parameters? Correnson, Loïc; Duris, Etienne; Parigot, Didier; ...

User activity

Share to:
 
Bookmark: http://trove.nla.gov.au/version/203064
Physical Description
  • text
Published
  • HAL - CCSD
  • 1999
Language
  • English

Edition details

Title
  • How to Deforest in Accumulative Parameters?
Author
  • Correnson, Loïc
  • Duris, Etienne
  • Parigot, Didier
  • Roussel, Gilles
Published
  • HAL - CCSD
  • 1999
Physical Description
  • text
Subjects
Notes
  • Software engineering has to reconcile modularity with efficiency. One way to grapple with this dilemma is to automatically transform a modular-speci- fied program into an efficient-implementable one. This is the aim of deforesta- tion transformations which get rid of intermediate data structures constructio- ns that appear when two functions are composed. Nevertheless, existing functional methods cannot deforest non-trivial intermediate constructions that are processed by symbolic composition. This new deforestation technique is based on the descriptional composition dedicated to attribute grammars. In this paper, we present the symbolic composition, we outline its counterpart in terms of classical deforestation methods and we sketch a way to embed it in a functional framework.
  • HAL:inria-00073070, version 1
  • HAL:http:/​/​hal.inria.fr/​inria-00073070/​en/​
Language
  • English
Contributed by
OAIster

Get this edition

  • Set up My libraries

    How do I set up "My libraries"?

    In order to set up a list of libraries that you have access to, you must first login or sign up. Then set up a personal list of libraries from your profile page by clicking on your user name at the top right of any screen.

  • All (1)
  • Unknown (1)
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.

User activity


e.g. test cricket, Perth (WA), "Parkes, Henry"

Separate different tags with a comma. To include a comma in your tag, surround the tag with double quotes.

Be the first to add a tag for this edition

Be the first to add this to a list

Comments and reviews

What are comments? Add a comment

No user comments or reviews for this version

Add a comment