...collaborate on
View   r2  >  r1  ...

--TwikiJoaoIncremental 2 - 27 Apr 2005 - Main.JoaoFernandes
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Added:
>
>

Incremental Spreadsheet Interpreter

 
Changed:
<
<
Incremental Spreadsheet Interpreter
>
>
One of my major research interest subjects is Adaptive and Incremental computation.
 
Added:
>
>
An adaptive computation maintains the relationship between its input and output as the input changes. That is to say that output will be updated as response to input changes, while re-evaluation will only occur on program portions afected by the change. Adaptive programming is most useful in situations where input changes lead to relatively small changes in the output.
 
Changed:
<
<
-- Main.JoaoFernandes - 20 Apr 2005
>
>
In limiting cases one cannot avoid a complete re-computation of the output, but in many cases the results of the previous computation may be re-used to obtain the updated output more quickly than a complete re-evaluation.
 
Added:
>
>
We are using Magnus Carlsson Adaptive Combinators library to model, in Haskell, a real spreadsheet adaptive system. This is, in fact, one of the classical incremental computation problems.
Magnus Carlsson's Haskell library for incremental computing, by its hand, follows closely the implementation in the POPL 2002 paper "Adaptive Functional Programming", by Umut Acar, Guy Blelloch and Bob Harper.

For detailed information on the building of the Incremental Interpreter, please take a look at this brief documentation report.

If you want to actually run the interpreter, you will need this (non-hierarchical) small library, plus Language.Gnumeric UMinho Haskell library, HaXml and Magnus Carlsson Haskell library.

META FILEATTACHMENT attr="h" comment="" date="1114598449" name="AdaptiveSpreadSheetsInterpreter.ps" path="AdaptiveSpreadSheetsInterpreter.ps" size="152271" user="JoaoFernandes" version="1.1"
META FILEATTACHMENT attr="h" comment="" date="1114599272" name="library.tar.gz" path="library.tar.gz" size="3657" user="JoaoFernandes" version="1.1"

--TwikiJoaoIncremental 1 - 20 Apr 2005 - Main.JoaoFernandes
Line: 1 to 1
Added:
>
>
META TOPICPARENT name="WebHome"

Incremental Spreadsheet Interpreter

-- Main.JoaoFernandes - 20 Apr 2005


Revision 2r2 - 27 Apr 2005 - 10:13:52 - Main.JoaoFernandes
Revision 1r1 - 20 Apr 2005 - 09:03:30 - Main.JoaoFernandes
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM