@techreport{UUCS2008045,
	Author = {Schrage, Martijn and Swierstra, Doaitse},
	Date-Added = {2009-01-07 13:48:11 +0100},
	Date-Modified = {2009-01-07 13:48:11 +0100},
	Institution = {Department of Information and Computing Sciences, Utrecht University},
	Number = {UU-CS-2008-045},
	Pubcat = {techreport},
	Title = {Haskell as an Architecture Description Language},
	Urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-045.pdf}},
	Year = 2008
}

------------------------ Proxima annotated bibtex file


TODO:
"van den Brand" at B? Bibtex doesn't handle 'von' tokens correctly
Rare spacing en urls


@
PREAMBLE{ {\providecommand{\noopsort}[1]{}} }

@phdthesis{norell:thesis,
  author  = {Ulf Norell},
  title	  = {Towards a practical programming language based on dependent type
	     theory},
  school  = {Department of Computer Science and Engineering, Chalmers University of Technology},
  year	  = 2007,
  month	  = {September},
  address = {SE-412 96 G\"{o}teborg, Sweden}
}

@phdthesis{schrage04Proxima,
   author = "Martijn M. Schrage",
   school = "Utrecht University, The Netherlands",
   title = "Proxima -- a presentation-oriented editor for structured documents",
   day = "15",
   month = "Oct",
   year = "2004",
   isbn = "90-393-3803-5",
   class = "Ext",
   tutor = "Doaitse Swierstra and Johan Jeuring and Lambert Meertens",
   url = "http://www.cs.uu.nl/research/projects/proxima",
}

@inproceedings{Schrage05Dazzle,
   author    = {Martijn M. Schrage and Arjan van IJzendoorn and Linda C. van der Gaag},
   title     = {{Haskell ready to Dazzle the real world}},
   booktitle = {Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell},
   year      = {2005},
   month     = {September},
   isbn      = {1-59593-071-X},
   pages     = {17--26},
   location  = {Tallinn, Estonia},
   publisher = {ACM Press}
}

   url       = {http://www.cs.uu.nl/dazzle/},
   urlpdf    = {http://www.cs.uu.nl/dazzle/f08-schrage.pdf},
   doi       = {http://doi.acm.org/10.1145/1088348.1088351},


Proxima papers

@unpublished{proximareqs,
  author="Schrage, Martijn M. and Jeuring, Johan and Meertens, Lambert and Swierstra, S. Doaitse",
  title="{Editing structured documents\\ Part I: requirements}",
  year="2005",
  note="In preparation"}
  
@unpublished{proximaarch,
  author="Schrage, Martijn M. and Jeuring, Johan and Meertens, Lambert and Swierstra, S. Doaitse",
  title="{Editing structured documents\\ Part II: architecture and tool}",
  year="2005",
  note="In preparation"}


GENERAL PAPERS ON EDITING


@article{fraser80generalizedEditor,
 author = {Christopher W. Fraser},
 title = {A generalized text editor},
 journal = {Communications of the ACM},
 volume = {23},
 number = {3},
 year = {1980},
 issn = {0001-0782},
 pages = {154--158},
 doi = {http://doi.acm.org/10.1145/358826.358834},
 publisher = {ACM Press},
 }


@inproceedings{lang86usefulness,
 author = {Bernard Lang},
 title = {On the usefulness of syntax directed editors},
 booktitle = {An international workshop on Advanced programming environments},
 year = {1986},
 isbn = {0-387-17189-4},
 pages = {47--51},
 location = {Trondheim, Norway},
 publisher = {Springer-Verlag},
 }

@inproceedings{vanter94practical,
    author = "Michael L. {Van De Vanter}",
    title = "Practical Language-Based Editing for Software Engineers",
    booktitle = "{ICSE} Workshop on {SE}-{HCI}",
    pages = "251-267",
    year = "1994",
    url = "citeseer.nj.nec.com/vanter95practical.html" }

  
@article{abandonText82waters,
 author = {R. C. Waters},
 title = {Program Editors Should Not Abandon Text Oriented Commands},
 journal = {SIGPLAN Notices},
 volume = {17},
 number = {7},
 year = {1982},
 pages = {39--46},
 publisher = {ACM Press}
 }

@article{responseToWaters83notkin,
 author = {D. Notkin and N. Habermann and R. Ellison and G. Kaiser and D. Garlan},
 title = {Response to {Waters}' article on structure oriented editors},
 journal = {SIGPLAN Notices},
 volume = {18},
 number = {4},
 year = {1983},
 publisher = {ACM Press}
 }

another Response to Waters

@article{shani83notAbandon,
 author = {Uri Shani},
 title = {Should program editors not abandon text oriented commands?},
 journal = {SIGPLAN Notices},
 volume = {18},
 number = {1},
 year = {1983},
 issn = {0362-1340},
 pages = {35--41},
 doi = {http://doi.acm.org/10.1145/948093.948098},
 publisher = {ACM Press}
 }

@inproceedings{rubinNeal87design,
 author = {Lisa {Rubin} Neal},
 title = {Cognition-sensitive design and user modeling for syntax-directed editors},
 booktitle = {Proceedings of the SIGCHI/GI conference on Human factors in computing systems and graphics interface},
 year = {1987},
 isbn = {0-89791-213-6},
 pages = {99--102},
 location = {Toronto, Ontario, Canada},
 doi = {http://doi.acm.org/10.1145/29933.30866},
 publisher = {ACM Press},
 }


@inproceedings{baecker88readability,
 author = {R. Baecker},
 title = {Enhancing program readability and comprehensibility with tools for program visualization},
 booktitle = {Proceedings of the 10th international conference on Software engineering},
 year = {1988},
 isbn = {0-89791-258-6},
 pages = {356--366},
 location = {Singapore},
 publisher = {IEEE Computer Society Press},
 }


@article{omanCook90typography,
 author = {Paul W. Oman and Curtis R. Cook},
 title = {Typographic style is more than cosmetic},
 journal = {Communications of the ACM},
 volume = {33},
 number = {5},
 year = {1990},
 issn = {0001-0782},
 pages = {506--520},
 doi = {http://doi.acm.org/10.1145/78607.78611},
 publisher = {ACM Press},
 }
Importance of good presentation for programming



@inproceedings{wallace01cutpaste,
 author = {Glen Wallace and Robert Biddle and Ewan Tempero},
 title = {Smarter cut-and-paste for programming text editors},
 booktitle = {Proceedings of the 2nd Australasian conference on User interface},
 year = {2001},
 isbn = {0-7695-0969-X},
 pages = {56--63},
 location = {Queensland, Australia},
 publisher = {IEEE Computer Society Press},
 }


@inproceedings{reinke03refactoring,
 author = {Huiqing Li and Claus Reinke and Simon Thompson},
 title = {Tool support for refactoring functional programs},
 booktitle = {Proceedings of the ACM SIGPLAN workshop on Haskell},
 year = {2003},
 isbn = {1-58113-758-3},
 pages = {27--38},
 location = {Uppsala, Sweden},
 doi = {http://doi.acm.org/10.1145/871895.871899},
 publisher = {ACM Press},
 }

@article{klein98glushkovRestr,
 author = {Anne Br\"uggemann-Klein and Derick Wood},
 title = {One-unambiguous regular languages},
 journal = {Inf. Comput.},
 volume = {140},
 number = {2},
 year = {1998},
 issn = {0890-5401},
 pages = {229--253},
 doi = {http://dx.doi.org/10.1006/inco.1997.2688},
 publisher = {Academic Press, Inc.},
 }

@inproceedings{sellen90modes,
 author = {Abigail Sellen and Gordon Kurtenbach and William Buxton},
 title = {The role of visual and kinesthetic feedback in the prevention of mode errors},
 booktitle = {Proceedings of the IFIP TC13 Third Interantional Conference on Human-Computer Interaction},
 year = {1990},
 isbn = {0-444-88817-9},
 pages = {667--673},
 publisher = {North-Holland},
 }




@article{ berlage94selectiveUndo,
 author = {Thomas Berlage},
 title = {A selective undo mechanism for graphical user interfaces based on command objects},
 journal = {ACM Trans. Comput.-Hum. Interact.},
 volume = {1},
 number = {3},
 year = {1994},
 issn = {1073-0516},
 pages = {269--294},
 doi = {http://doi.acm.org/10.1145/196699.196721},
 publisher = {ACM Press},
 }



@misc{ mancini-reflections,
  author = "Roberta Mancini and Alan Dix and Stefano Levialdi",
  title = "Reflections on Undo",
  url = "citeseer.nj.nec.com/mancini96reflections.html" }


@misc{ roisin97cutPaste,
    author = "C. Roisin and P. Claves and E. Akpotsui",
    title = "Implementing the Cut-and-Paste Operation in a Structured Editing System",
    text = "C. Roisin, P. Claves, E. Akpotsui, Implementing the Cut-and-Paste Operation
      in a Structured Editing System, Mathematical and Computer Modelling, vol.
      vol. 26, num. 1, pp. 85-96, 1997.",
    year = "1997"
} -- partial



A more general form of paste. Documents that have the same structure are matched. Also when the source type appears somewhere in the destination type, paste succeeds ((Section (Paragraph str)) can be pasted in (Chapter (Section (Paragraph str))))) Finally,  also when source is a cluster of target, paste can succeed. Implemented in Grif editor. Trees are represented using Dyck words.



@phdthesis{maverick98treeTrans,
   author = "Vance Maverick",
   school = "Computer Science Division--EECS, University of California, Berkeley",
   title = "Presentation by Tree Transformation",
   year = "1998",
}




------------------------ W3C Stuff:

get info from: http://www.w3.org/TR/
put Editors in Author field

@article{,
  author = {},
  title = {},
  journal = {W3C Recommendation },
  volume = {\url||},
  year = {},
}

@article{xml11,
  author = {Tim Bray and Jean Paoli and C. M. Sperberg-McQueen and Eve Maler and Fran\c{c}ois Yergeau and John Cowan},
  title = {Extensible {Markup} {Language}  ({XML}) 1.1},
  journal = {W3C Recommendation 4 February 2004},
  volume = {\url|http://www.w3.org/TR/2004/REC-xml11-20040204|},
  year = 2004,
}

@article{xsl10,
  author = {Sharon Adler and Anders Berglund and Jeff Caruso and Stephen Deach and Tony Graham and Paul Grosso and Eduardo Gutentag and Alex Milowski and Scott Parnell and Jeremy Richman and Steve Zilles},
  title = {Extensible {Stylesheet} {Language} ({XSL}) {Version}~1.0},
  journal = {W3C Recommendation  15 October 2001},
  volume = {\url|http://www.w3.org/TR/2001/REC-xsl-20011015|},
  year = 2001,
}

@article{xslt10,
  author = {James Clark},
  title = {{XSL} {Transformations} ({XSLT}) {Version}~1.0},
  journal = {W3C Recommendation  16 November 1999},
  volume = {\url|http://www.w3.org/TR/1999/REC-xslt-19991116|},
  year = 1999,
}

@article{xmlSchema1,
  author = {Henry Thompson and David Beech and Murray Maloney and Noah Mendelsohn},
  title = {{XML} {Schema} {Part~1:} {Structures}},
  journal = {W3C Recommendation 2 May 2001},
  volume = {\url|http://www.w3.org/TR/2001/REC-xmlschema-1-20010502|},
  year = 2001,
}


@article{xmlSchema2,
  author = {Paul Biron and Ashok Malhotra},
  title = {{XML} {Schema} {Part~2:} {Datatypes}},
  journal = {W3C Recommendation 2 May 2001},
  volume = {\url|http://www.w3.org/TR/2001/REC-xmlschema-2-20010502|},
  year = 2001,
}

@article{css2,
  author = {Bert Bos and H{\aa}kon Wium Lie and Chris Lilley and Ian Jacobs},
  title = {{Cascading} {Style} {Sheets}, level~2 ({CSS2}) {Specification}},
  journal = {W3C Recommendation 12 May 1998},
  volume = {\url|http://www.w3.org/TR/1998/REC-CSS2-19980512 |},
  year = 1998,
}

@article{mathml20,
  author = {David Carlisle and Patrick Ion and Robert Miner and Nico Poppelier},
  title = {Mathematical {Markup} {Language} ({Math}{ML}) {Version~2.0} ({Second} {Edition})},
  journal = {W3C Recommendation 21 October 2003},
  volume = {\url|http://www.w3.org/TR/2003/REC-MathML2-20031021|},
  year = 2003,
}


@article{xhtml11,
  author = {Murray Altheim and Shane McCarron},
  title = {{XHTML} 1.1 -- {Module-based} {XHTML}},
  journal = {W3C Recommendation 31 May 2001},
  volume = {\url|http://www.w3.org/TR/2001/REC-xhtml11-20010531/|},
  year = {2001},
}



@Book{sgml86,
  author =       "{International Organization for Standardization}",
  title =        "{ISO 8879:1986}: {Information} processing -- {Text}
                 and office systems -- {Standard Generalized Markup
                 Language} ({SGML})",
  publisher =    "International Organization for Standardization",
  address =      "Geneva, Switzerland",
  pages =        "155",
  day =          "17",
  month =        aug,
  year =         "1986",
  bibdate =      "Fri May 28 21:52:25 1999",
  price =        "CHF 212",
  URL =          "http://www.iso.ch/cate/d16387.html",
  acknowledgement = ack-nhfb,
  pricecode =    "XC"
}
@Book{ dsssl96,
  author =       "{International Organization for Standardization}",
  title =        "{ISO 10179:1996({E})}: {I}nformation technology -- {Text} and office systems --
                   {D}ocument {S}tyle {S}emantics and {S}pecification
                   {L}anguages ({DSSSL})",
  publisher =    "International Organization for Standardization",
  address =      "Geneva, Switzerland",
  day =          "1",
  month =        apr,
  year =         "1996"
}

  title		= 

@Book{walsh02docbook,
  author = {Norman Walsh and Leonard Muellner and Bob Stayton},
  title = {DocBook: The Definitive Guide},
  publisher = {O'Reilly},
  year = 	{2003},
  edition =  {2.0.9},
  url =   {http://www.docbook.org/tdg/en/html/docbook.html}
}

, editors. . . See . 
. OASIS Committee Specification, http://www.oasisopen.org/committees/relaxng/spec-20011203.html, 2001.
@article{relaxNG01,
  author = {James Clark and Murata Makoto},
  title = {{RELAX} {NG} Specification},
  journal = {OASIS},
  volume = {\url|http://www.oasis-open.org/committees/relax-ng/spec.html|},
  year = {2001},
}

@article{relax01,
  author = {Murata Makoto},
  title = {{RELAX} (Regular Language description for {XML})},
  journal = {{INSTAC} (Information Technology Research and Standardization Center)},
  volume = {\url|http://www.xml.gr.jp/relax|},
  year = {2001},
}

@article{trex01,
  author = {James Clark},
  title = {{TREX} -- {Tree} {Regular} {XML}},
  journal = {Thai Open Source Software Center},
  volume = {\url|http://www.thaiopensource.com/trex|},
  year = {2001},
}



@BOOK{ peytonJones03haskell,
  AUTHOR    = {S.L. {Peyton Jones}},
  TITLE     = {{Haskell 98 Language and Libraries}},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Cambridge University Press, Cambridge, UK},
  YEAR      = 2003,
  NOTE      = {},
  CONTENTS  = {[ISBN: 0521826144]
               Canonical reference for Haskell.},
  sourceURL = {},
  TOPICS    = {Haskell}
}

@PhdThesis{loeh04exploringGH,
  author =       {Andres L{\"o}h},
  title =        {Exploring {Generic} {Haskell}},
  school =       {Utrecht University, The Netherlands},
  year =         {2004},
  month =        sep,
}

@techreport{clarke02genericHaskell,
  author      = {Dave Clarke and Johan Jeuring and Andres L{\"o}h},
  title       = {The {Generic} {Haskell} User's Guide ({Beryl} Release)},
  institution = {Utrecht University, The Netherlands},
  year        = 2002,
  number      = {UU-CS-2002-047},
  month       = {July},
  pubcat      = {report},
}


@INPROCEEDINGS{leijen04wxHaskell,
  author    = {Daan Leijen},
  title     = {{wxHaskell} -- A portable and concise {GUI} library for {Haskell}},
  booktitle = {{ACM SIGPLAN} Haskell Workshop ({HW'04})},
  year      = 2004,
  month     = sep,
  publisher = {ACM Press},
  location  = {Snowbird, Utah}
}




@Book{knuth84tex,
  author =      "Donald E. Knuth",
  title =       "The {\TeX}book",
  publisher =   "Addison Wesley",
  year =        "1984",
  ISBN =        "0-201-13448-9",
}


@Book{lamport85latex,
  author =      "Leslie Lamport",
  title =       "{\LaTeX}\emdash A Document Preparation System\emdash
                 User's Guide and Reference Manual",
  publisher =   "Addison Wesley",
  year =        "1985",
  ISBN =        "0-201-15790-X",
}

@ARTICLE{knuth82breaking,
	AUTHOR = {Donald E. Knuth and Michael F. Plass},
	TITLE = {Breaking Paragraphs into Lines},
	JOURNAL = {Software -- Practice and Experience},
	YEAR = {1982},
	VOLUME = {11},
	NUMBER = {11},
	PAGES = {1119--1184},
	MONTH = Nov
}

@article{ demoor99breaking,
    author = {{\noopsort{Moor}O. de Moor} and J. Gibbons},
    title = "Bridging the algorithm gap: {A} linear-time functional program for paragraph formatting",
    journal = "Science of Computer Programming",
    volume = "35",
    number = "1",
    pages = "3--27",
    year = "1999",
    url = "citeseer.ist.psu.edu/demoor97bridging.html" }

@inproceedings{jeuring91breaking,
  author    = {Jeuring, Johan},
  title     = {Incremental algorithms on lists},
  editor    = {Leeuwen, J. van},
  booktitle = {Proceedings SION Computing Science in the Netherlands},
  pages     = {315--335},
  year      = {1991},
  note      = {Also appeared in EURICS Workshop on Calculational Theories of Program Structure, Hollum-Ameland, 1991},
}


@manual{swierstra04ag,
    author = "S. Doaitse Swierstra and Arthur Baars",
    title = "Attribute Grammar System",
    organization = "Utrecht University, The Netherlands",
    year = "2004",
    url = "http://www.cs.uu.nl/groups/ST/Center/AttributeGrammarSystem"
}



@inproceedings{swierstra01parsers,
  author    = {S. Doaitse Swierstra},
  title     = {Combinator Parsers: From Toys to Tools},
  booktitle = {Electronic Notes in Theoretical Computer Science},
  volume    = {41},
  issue     = {1},
  publisher = {Elsevier Science Publishers},
  editor    = {Graham Hutton},
  year      = {2001},
  url       = {http://math.tulane.edu/~entcs},
}

@article{hutton92parsers,
 author      ="Hutton, Graham",
 title       ="Higher-order functions for parsing",
 pages       ="323--343",
 volume      ="2",
 number      ="3",
 journal     ="Journal of Functional Programming",
 month       ="July",
 year        ="1992",
 scope       ="Miscellaneous",
 documentURL ="http://www.cs.nott.ac.uk/Department/Staff/gmh/parsing.ps",
 keywords    ="parsing, combinators, higher-order functions"
}
@incollection{fokker95parsers,
  AUTHOR = {J. Fokker},
  TITLE = {Functional Parsers},
  YEAR = 1995,
  BOOKTITLE = {Advanced Functional Programming: 1st International Spring School on Advanced Functional Programming Techniques},
  EDITOR = {J. Jeuring and E. Meijer},
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  PAGES = {1--23},
  KEYWORDS = {}}



@misc{ eclipse2001,
author = "{Object Technology International, Inc.}",
title = "Eclipse platform -- A universal tool platform ",
howpublished = "available at: \url|http://www.eclipse.org|",
year = 2001
}

@misc{ amaya04,
author = "{World Wide Web Consortium}",
title = "Amaya Web Editor/Browser",
howpublished = "\url|http://www.w3.org/Amaya|",
year = 2004
}

@misc{lyx ,
author = "Matthias Ettrich and others",
title = "{{Lyx} -- The Document Processor}",
howpublished = "\url|http://www.lyx.org|",
year = 2004
}

@misc{texmacs,
author = "\noopsort{Hoeven}J. van der Hoeven",
title = "{GNU} {TexMacs}",
howpublished = "\url|http://www.texmacs.org|",
year = 2004
}


--- Chapter: Editing Structured Documents

EDITORS
@inproceedings{reps84synGen,
 author = {Thomas Reps and Tim Teitelbaum},
 title = {The {Synthesizer} {Generator}},
 booktitle = {Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments},
 year = {1984},
 isbn = {0-89791-131-8},
 pages = {42--48},
 doi = {http://doi.acm.org/10.1145/800020.808247},
 publisher = {ACM Press},
 }


@article{teitelbaum81progSynth,
 author = {Tim Teitelbaum and Thomas Reps},
 title = {The {Cornell} {Program} {Synthesizer:} {A} syntax-directed programming environment},
 journal = {Communications of the ACM},
 volume = {24},
 number = {9},
 year = {1981},
 issn = {0001-0782},
 pages = {563--573},
 doi = {http://doi.acm.org/10.1145/358746.358755},
 publisher = {ACM Press}
}

@inproceedings{saraiva00lrc,
   author    = {Jo{\~a}o Saraiva and S. Doaitse Swierstra and Matthijs Kuiper},
   title     = {{F}unctional {I}ncremental {A}ttribute {E}valuation},
   booktitle = {9th International Conference on Compiler Construction, CC/ETAPS2000},
   year      = {2000},
   editor    = {{David Watt}},
   publisher = {Springer-Verlag},
   pages     = {279-294},
   volume    = {1781},
   series    = {LNCS},
   month     = mar,
   urlpdf    = {http://www.cs.uu.nl/people/doaitse/Papers/2000/cc2000.pdf}
}

@inproceedings{stallman81emacs,
 author = {Richard M. Stallman},
 title = {{EMACS} the extensible, customizable self-documenting display editor},
 booktitle = {Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation},
 year = {1981},
 isbn = {0-89791-050-8},
 pages = {147--156},
 location = {Portland, Oregon, United States},
 }

@article{arefi90visualSynEditors,
 author = {Farah Arefi and Charles E. Hughes and David A. Workman},
 title = {Automatically generating visual syntax-directed editors},
 journal = {Communications of the ACM},
 volume = {33},
 number = {3},
 year = {1990},
 issn = {0001-0782},
 pages = {349--360},
 doi = {http://doi.acm.org/10.1145/77481.77487},
 publisher = {ACM Press}
}

@book{reiss94field,
 author = {Steven P. Reiss},
 title = {The  Field Programming Environment: A Friendly Integrated Environment for Learning and Development},
 year = {1995},
 isbn = {0792395379},
 publisher = {Kluwer Academic Publishers},
}

@article{reiss99desert,
 author = {Steven P. Reiss},
 title = {The {Desert} environment},
 journal = {ACM Transactions on Software Engineering and Methodology (TOSEM)},
 volume = {8},
 number = {4},
 year = {1999},
 issn = {1049-331X},
 pages = {297--342},
 doi = {http://doi.acm.org/10.1145/322993.322994},
 publisher = {ACM Press}
}

@article{ ballance92pan,
    author = "Robert A. Ballance and Susan L. Graham and Michael L. {Van De Vanter}",
    title = "The {Pan} language-based editing system",
    journal = "ACM Transactions on Software Engineering and Methodology (TOSEM)",
    volume = "1",
    number = "1",
    pages = "95--127",
    year = "1992",
    url = {citeseer.nj.nec.com/ballance91pan.html}
}

@inproceedings{quint86grif,
   author = "Quint, V. and I. Vatton",
   title = "{G}rif: An Interactive System for Structured Document Manipulation",
   booktitle = "Text Processing and Document Manipulation",
   editor = "van Vliet, J. C.",
   publisher = "Cambridge University Press",
   year = "1986",
   pages = "200-213",
  abstract = "Grif manipulates structured documents containing objects of
 various types: tables, mathematical formulae, programs, pictures, 
 graphics atc.It is a structure directed editor which guides the 
 user in accordance with the structure of the document and of 
 the objects being edited; the image displayed on the screen also 
 being constructed from the structure. The user can define new 
 document structures and new types of objects, as well as to 
 specify the way in which the system displays these documents
 and objects."
}


@techreport{quint97thot,
    author = "V. Quint", 
    note = "Translated by E. V. Munson",
    title = "The languages of {Thot}",
    institution = "INRIA",
    year = "1997",
    url = {"http://www.inrialpes.fr/opera/Thot/Doc/languages.html"}
}

@article{Bahlke86PSG,
 author = {Rolf Bahlke and Gregor Snelting},
 title = {The {PSG} system: from formal language definitions to interactive programming environments},
 journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
 volume = {8},
 number = {4},
 year = {1986},
 issn = {0164-0925},
 pages = {547--576},
 doi = {http://doi.acm.org/10.1145/6465.20890},
 publisher = {ACM Press},
 }

@misc{ williams94HTMLAndrewSYS,
  author = "N. Williams and T. Wilkinson",
  title = "Experiences in Writing a {WYSIWYG} Editor for {HTML}",
  text = "Williams, N. and Wilkinson, T. Experiences in Writing a WYSIWYG Editor
    for HTML, Proceedings of WWW'94, Switzerland.",
  url = "citeseer.nj.nec.com/24610.html" }

@techReport{ koorn92gse,
  author = "J. W. C. Koorn",
  title = "{GSE:} A generic text and structure editor",
  number = "P9202",
  institution = "University of Amsterdam",
  year = "1992",
  url = "citeseer.nj.nec.com/koorn92gse.html" }


 
  met sorteertruukje:
  author = "{\noopsort{Brand}M. G. J. van den Brand and Vinju, J.J.}",

@InProceedings{brand00rewriteLayout,
  author = "M. G. J. van den Brand and Vinju, J.J.",
  title  = {Rewriting with Layout},
  year   = 2000,
  booktitle =  "Proceedings of {RULE2000}",
  editor = "Claude Kirchner and Nachum Dershowitz",
}


@inproceedings{ magnusson90orm,
    author = "B. Magnusson and M. Bengtsson and L.O. Dahlin and G. Fries and A. Gustavsson and G. Hedin and S. Minor and D. Oscarsson and M. Taube",
    title = "An Overview of the {Mj{\slasho}lner/ORM} Environment: Incremental Language and Software Development",
    booktitle = "TOOLS'90, Paris, France",
    pages = "635--646",
   year        = "1990",
   url = "http://www.cs.lth.se/Research/ProgEnv/Orm.html" 
}
 

@phdthesis{minor90editing,
   author = "Sten {Min\"{o}r}",
   school = "Department of Computer Science, Lund University, Sweden",
   title = "On Structure-Oriented Editing",
   year = "1990"
}

@phdthesis{verhoeven00mathspad,
   author = "Richard Verhoeven",
   school = "Eindhoven University, The Netherlands",
   title = "The Design of the {MathSpad} Editor",
   year = "2000"
}


@phdthesis{brand92pregmatic,
   author = "{\noopsort{Brand}M. G. J. van den Brand}",
   school = "Katholieke Universiteit Nijmegen, Netherlands",
   title = "Pregmatic, a generator for incremental programming environments",
   year = "1992"
}

@article{klint93asfsdf,
  author =      "Paul Klint",
  title =        "A Meta-Environment for Generating Programming Environments",
  year =         "1993",
  journal =      "ACM Transactions of Software Engineering and Methodology",
  volume =       "2",
  pages =        "176--201",
  number =       "2",
  month =        Mar,
  references =   "33"
}

@techreport{boshernitsan01harmonia,
 author = {Marat Boshernitsan},
 title = {Harmonia: A Flexible Framework for Constructing Interactive Language-Based Programming Tools},
 year = {2001},
 number = "CSD-01-1149",
 source = {http://www.cs.berkeley.edu/Research/Projects/harmonia/papers/maratb-master.pdf},
 institution = {University of California, Berkeley}
 }


@techreport{ ganzevoort92views,
 author = "Job Ganzevoort",
 title = "Maintaining presentation invariants in the {Views} system.",
 month = "December",
 year = "1992",
 number = "CS-R9262",
 institution = "Centrum voor Wiskunde en Informatica (CWI), Amsterdam",
 url = "citeseer.ist.psu.edu/ganzevoort92maintaining.html"
 }




@techreport{christopher90constraints,
 author = {Wayne A. Christopher},
 title = {Constraint-based Document Presentation},
 year = {1990},
 number = "CSD-90-601",
 institution = {University of California, Berkeley},
 }

@article{myers90garnet,
	author      ="Myers, Brad A. and Giuse, Dario and Dannenberg, Roger B. and Vander Zanden, Brad and Kosbie, David and Previn, Ed and Mickish, Andrew and Marchal, Philippe",
	title       ="Garnet: Comprehensive Support for Graphical Highly-Interactive User Interfaces",
	journal     ="IEEE Computer",
	number      ="11",
	volume      ="23",
	month       ="November",
	year        ="1990",
	scope       ="interman",
	abstractURL ="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/garnet/doc/papers/garnetIEEE.abstract",
	documentURL ="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/garnet/doc/papers/garnetIEEE.ps"
}

@article{borning81thinglab,
 author = {Alan Borning},
 title = {The Programming Language Aspects of {ThingLab}, a Constraint-Oriented Simulation Laboratory},
 journal = {ACM Trans. Program. Lang. Syst.},
 volume = {3},
 number = {4},
 year = {1981},
 issn = {0164-0925},
 pages = {353--387},
 doi = {http://doi.acm.org/10.1145/357146.357147},
 publisher = {ACM Press},
 }



@InProceedings{visser01stratego,
  author =	 {Eelco Visser},
  title =	 {Stratego: {A} Language for Program Transformation
                  based on Rewriting Strategies. {S}ystem Description
                  of {Stratego} 0.5},
  booktitle =	 {Rewriting Techniques and Applications (RTA'01)},
  pages =	 {357--361},
  year =	 2001,
  editor =	 {A. Middeldorp},
  volume =	 2051,
  series =	 {Lecture Notes in Computer Science},
  month =	 {May},
  publisher =	 {Springer-Verlag}
}

@inproceedings{KoMyers06Barista,
 author = {Andrew J. Ko and Brad A. Myers},
 title = {Barista: An implementation framework for enabling new tools, interaction techniques and views in code editors},
 booktitle = {CHI '06: Proceedings of the SIGCHI conference on Human Factors in computing systems},
 year = {2006},
 isbn = {1-59593-372-7},
 pages = {387--396},
 location = {Montr\&\#233;al, Qu\&\#233;bec, Canada},
 doi = {http://doi.acm.org/10.1145/1124772.1124831},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{KoMyers05Citrus,
 author = {Andrew J. Ko and Brad A. Myers},
 title = {Citrus: a language and toolkit for simplifying the creation of structured editors for code and data},
 booktitle = {UIST '05: Proceedings of the 18th annual ACM symposium on User interface software and technology},
 year = {2005},
 isbn = {1-59593-271-2},
 pages = {3--12},
 location = {Seattle, WA, USA},
 doi = {http://doi.acm.org/10.1145/1095034.1095037},
 publisher = {ACM},
 address = {New York, NY, USA},
 }
 
--- crap editors:
@ARTICLE{notkin85gandalf,
    AUTHOR = "David Notkin",
    TITLE = "{The {GANDALF} Project}",
    JOURNAL = "Journal of Systems and Software",
    YEAR = 1985,
    VOLUME = 5,
    PAGES = "91--105"
    }

@incollection{donzeau84mentor,
  AUTHOR = {V. Donzeau-Gouge and G. Huet and G. Kahn and B. Lang},
  TITLE = {Programming Environments Based on Structured Editors: The {MENTOR} Experience},
  YEAR = 1984,
  BOOKTITLE = {Interactive Programming Environments},
  EDITOR = {D. R. Barstow and H. E. Shrobe and E. Sandewall},
  PUBLISHER = {McGraw-Hill},
  ADDRESS = {New York},
  PAGES = {128-140},
  KEYWORDS = {}
 }

@inproceedings{borras88centaur,
 author = {P. Borras and D. Clement and Th. Despeyroux and J. Incerpi and G. Kahn and B. Lang and V. Pascual},
 title = {{Centaur:} the system},
 booktitle = {Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments},
 year = {1988},
 isbn = {0-89791-290-X},
 pages = {14--24},
 location = {Boston, Massachusetts, United States},
 doi = {http://doi.acm.org/10.1145/64135.65005},
 publisher = {ACM Press},
 }



@inproceedings{garlan84gnome,
 author = {David B. Garlan and Philip L. Miller},
 title = {{GNOME:} An introductory programming environment based on a family of structure editors},
 booktitle = {Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments},
 year = {1984},
 isbn = {0-89791-131-8},
 pages = {65--72},
 doi = {http://doi.acm.org/10.1145/800020.808250},
 }


@inproceedings{fischer84poe,
 author = {C. N. Fischer and Gregory F. Johnson and Jon Mauney and Anil Pal and Daniel L. Stock},
 title = {The {Poe} language-based editor project},
 booktitle = {Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments},
 year = {1984},
 isbn = {0-89791-131-8},
 pages = {21--29},
 doi = {http://doi.acm.org/10.1145/800020.808245},
 }
 
@article{kaiser88dose,
 author = {Gail E. Kaiser and Peter H. Feiler and Fahimeh Jalili and Joann H. Schlichter},
 title = {A retrospective on {DOSE}: an interpretive approach to structure editor generation},
 journal = {Software -- Practice and Experience},
 volume = {18},
 number = {8},
 year = {1988},
 issn = {0038-0644},
 pages = {733--748},
 publisher = {John Wiley \& Sons, Inc.},
 }



@inproceedings{reiss84pecan,
 author = {Steven P. Reiss},
 title = {Pecan: Program development systems that support multiple views},
 booktitle = {Proceedings of the 7th international conference on Software engineering},
 year = {1984},
 isbn = {0-8186-0528-6},
 pages = {324--333},
 location = {Orlando, Florida, United States},
 }

@inproceedings{normark88muir,
 author = {Kurt Normark},
 title = {MUIR - a language development environment},
 booktitle = {Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES},
 year = {1988},
 isbn = {0-89791-255-1},
 pages = {22--27},
 location = {Cannes, France},
 doi = {http://doi.acm.org/10.1145/62453.62458},
 publisher = {ACM Press},
 }
 
@inproceedings{fritzson84dice,
 author = {Peter Fritzson},
 title = {Preliminary experience from the {DICE} system -- a {Distributed} {Incremental} {Compiling} {Environment}},
 booktitle = {Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments},
 year = {1984},
 isbn = {0-89791-131-8},
 pages = {113--123},
 doi = {http://doi.acm.org/10.1145/800020.808256},
 publisher = {ACM Press},
 }

@inproceedings{read96multiview,
 author = {Michael Read and Chris Marlin},
 title = {Generating direct manipulation program editors within the MultiView programming environment},
 booktitle = {Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops},
 year = {1996},
 isbn = {0-89791-867-3},
 pages = {232--236},
 location = {San Francisco, California, United States},
 doi = {http://doi.acm.org/10.1145/243327.243670},
 publisher = {ACM Press},
 }



@InProceedings{kastens02vl-eli,
  author = "Uwe Kastens and Carsten Schmidt",
  title = "{VL-Eli}: A Generator for Visual Languages",
  booktitle =  {Proceedings of Second Workshop on Language Descriptions, Tools and Applications (LDTA'02)},
  number =       2027,
  series =	 {Electronic Notes in Theoretical Computer Science},
  year =	 2002,
  address = "Grenoble, France",
  publisher =	 {Band 65, Elsevier Science Publishers}
}


@article{ budinsky85sre,
	AUTHOR = {F. J. Budinsky and R. C. Holt and S. G. Zaky},
	TITLE = { {SRE} -- a syntax-recognizing editor},
	JOURNAL = {Software -- Practice and Experience},
	YEAR = {1985},
	VOLUME = {15},
	NUMBER = {5},
	PAGES = {489--497},
	MONTH = May
}

@phdthesis{horton81babel,
   author = "M.R. Horton",
   school = {University of California, Berkeley},
   title = "Design of a multi-language editor with static error detection capabilities",
   year = "1981"
}


@inproceedings{campbell84saga,
 author = {Roy H. Campbell and Peter A. Kirslis},
 title = {The {SAGA} project: A system for software development},
 booktitle = {Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments},
 year = {1984},
 isbn = {0-89791-131-8},
 pages = {73--80},
 doi = {http://doi.acm.org/10.1145/800020.808251},
 publisher = {ACM Press},
 }



@inproceedings{vogt89Hags,
 author = {H. H. Vogt and S. D. Swierstra and M. F. Kuiper},
 title = {Higher order attribute grammars},
 booktitle = {Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation},
 year = {1989},
 isbn = {0-89791-306-X},
 pages = {131--145},
 location = {Portland, Oregon, United States},
 doi = {http://doi.acm.org/10.1145/73141.74830},
 publisher = {ACM Press},
 }








--- Chapter: Proxima Edit Model

@inproceedings{muhu04inv,
author = {Shin-Cheng Mu and Zhenjiang Hu and Masato Takeichi},
title = {An Injective Language for Reversible Computation},
booktitle = "Mathematics of Program Construction (MPC 2004)",
publisher = {Springer-Verlag},
series    = {LNCS},
year = "2004",
}

%author = {Shin-Cheng Mu and Zhenjiang Hu and Masato Takeichi},
%title = {An Injective Language for Reversible Computation},
%note = {To Appear},
%%url = {http://www.cs.kent.ac.uk/pubs/2004/1828},
%publication_type = {inproceedings},
%%submission_id = {11750_1079089495},
%%booktitle = {The 7the International Conference on Mathematics of Program Construction},
%%editor = {Dexter Kozen},
%%series = {Lecture Notes in Computer Science},
%%address = {Stirling, Scotland, UK},
%%publisher = {Springer-Verlag, },



@misc{ meertens98maintainers,
author = "Lambert G. L. T. Meertens",
title = "Designing Constraint Maintainers for User Interaction",
howpublished = "\url|ftp://ftp.kestrel.edu/pub/papers/meertens/dcm.ps|",
year = 1998
}
%url = "citeseer.ist.psu.edu/meertens98designing.html" 

@InProceedings{pierce03lenses,
  author =       "Michael B. Greenwald and Jonathan T. Moore and
                 Benjamin C. Pierce and Alan Schmitt",
  booktitle =    "Workshop on Programming Language Technologies for {XML} {(PLAN-X)}",
  title =        "A Language for Bi-Directional Tree Transformations",
  month =        "Jan",
  year =         "2004",
  bcp =          "Yes",
}



@inproceedings{ sufrin99modeless,
  author = "B. Sufrin and O. de Moor",
  title = "Modeless structure editing",
  editor = "J. Davies and  A. W. Roscoe and J.C.P. Woodcock",
  booktitle = "Proceedings of the Oxford--Microsoft symposium in Celebration of the work of Tony Hoare",
  day =  "13--15",
  month = Sep,
  year = "1999",
  url = "citeseer.ist.psu.edu/sufrin99modeless.html" 
}

@ARTICLE{kaiser85parsingWithoutParser,
    AUTHOR = "Gail E. Kaiser and Elaine Kant",
    TITLE = "{Incremental Parsing without a Parser}",
    JOURNAL = "Journal of Systems and Software",
    YEAR = 1985,
    VOLUME = 5,
    PAGES = "121--144"
    }



--- Chapter: Presenting Structured Documents

@article{oppen80prettyPrinting,
 author = {Dereck C. Oppen},
 title = {Prettyprinting},
 journal = {ACM Trans. Program. Lang. Syst.},
 volume = {2},
 number = {4},
 year = {1980},
 issn = {0164-0925},
 pages = {465--483},
 doi = {http://doi.acm.org/10.1145/357114.357115},
 publisher = {ACM Press},
 }
 
 @inproceedings{swierstra98combinators,
  author    = {Swierstra, S. D. and Azero Alocer, P. R. and Saraiava, J.},
  title     = {Designing and Implementing Combinator Languages},
  booktitle = {Advanced Functional Programming, Third International School, AFP'98},
  editor    = {Doaitse Swierstra and Pedro Henriques and Jos{\'e} Oliveira},
  publisher = {Springer-Verlag},
  series    = {LNCS},
  volume    = {1608},
  pages     = {150-206},
  year      = {1999},
}



@article{kingston93lout,
    author = "Jeffrey H. Kingston",
    title = "Design and implementation of the {Lout} document formatting language",
    journal = "Software -- Practice and Experience",
    volume = "23",
    number = "9",
    pages = "1001--1041",
    year = "1993"
}

Galley approach to formatting. Galleys are like attributes that flow through the document until they find their target. They can be used to generate footnotes, tables of content, references, etc. Quite difficult to understand.

Primitives do not seem very compositional: row [Big, col[vLine, small, vLine]] does not distribute space over lines nicely.


@incollection{hughes1995prettyPrinting,
  author =       "John Hughes",
  booktitle =    "Advanced Functional Programming",
  editor =       "J. Jeuring and E. Meijer",
  publisher =    "Springer Verlag",
  title =        "The Design of a Pretty-printing Library",
  year =         "1995",
  abstract-url = "http://www.cs.chalmers.se/~rjmh/Papers/pretty.html",
  URL =          "http://www.cs.chalmers.se/~rjmh/Papers/pretty.ps",
  keywords =     "pretty-printing combinators formal methods lazy
                 evaluation",
  series =       "LNCS",
  volume =       "925",
  scope =        "appl",
}

@InProceedings{kahl99galleyCombs,
  author       = {Wolfram Kahl},
  title        = {Beyond Pretty-Printing:
                  Galley Concepts in Document Formatting Combinators},
  year         = 1999,
  series       = {LNCS},
  publisher    = {Springer-Verlag},
  volume       = {1551},
  pages        = {76--90},
  editor       = {Gopal Gupta},
  booktitle    = {Practical Aspects of Declarative Languages,
                   First International Workshop, {PADL '99, San Antonio,
                   Texas, USA, January 1999, Proceedings}},
  abstract = {Galleys have been introduced by Jeff Kingston as one of the key concepts underlying his advanced document formatting system Lout. Although Lout is built on a lazy functional programming language, galley concepts are implemented as part of that language and defined only informally.
  
In this paper we present a first formalisation of document formatting combinators using galley concepts in the purely functional programming language Haskell.}
}          Only vertical galleys


@article{ marden98psl,
    author = "Jr. P. M. Marden and E. V. Munson",
    title = "{PSL}: An Alternate Approach to Style Sheet Languages for the {World Wide Web}",
    journal = "J.UCS: Journal of Universal Computer Science",
    volume = "4",
    number = "10",
    pages = "792--806",
    year = "1998",
    url = "citeseer.nj.nec.com/marden98psl.html"
}


@inproceedings{ badros99ccss,
    author = "Greg J. Badros and Alan Borning and Kim Marriott and Peter J. Stuckey",
    title = "Constraint Cascading Style Sheets for the Web",
    booktitle = "{ACM} Symposium on User Interface Software and Technology",
    pages = "73-82",
    year = "1999",
    url = "citeseer.nj.nec.com/badros99constraint.html" 
}

@article{brand96generationOfFormatters,
 author = "{\noopsort{Brand}M. G. J. van den  Brand} and Eelco Visser",
 title = {Generation of formatters for context-free languages},
 journal = {ACM Transactions on Software Engineering and Methodology (TOSEM)},
 volume = {5},
 number = {1},
 year = {1996},
 issn = {1049-331X},
 pages = {1--41},
 doi = {http://doi.acm.org/10.1145/226155.226156},
 publisher = {ACM Press},
 }

@article{heckmann97functionalTex,
  title =        "A functional description of {{\TeX's}} formula
                 layout",
  author =       "Reinhold Heckmann and Reinhard Wilhelm",
  pages =        "451--485",
  journal =      "Journal of Functional Programming",
  month =        sep,
  year =         "1997",
  volume =       "7",
  number =       "5",
}

@article{hansen90functionbased,
        author={Bo Stig Hansen},
        title={A Function-based Formatting Model},
        journal={Electronic Pub\-lish\-ing\emdash{}Orig\-i\-na\-tion, Dissemination, and Design},
        volume= 3,
        year= 1990,
        pages={3--28},
        number= 1,
        url={citeseer.nj.nec.com/hansen90functionbased.html}
}

@article{badros01cassowary,
 author = {Greg J. Badros and Alan Borning and Peter J. Stuckey},
 title = {The Cassowary linear arithmetic constraint solving algorithm},
 journal = {ACM Trans. Comput.-Hum. Interact.},
 volume = {8},
 number = {4},
 year = {2001},
 issn = {1073-0516},
 pages = {267--306},
 doi = {http://doi.acm.org/10.1145/504704.504705},
 publisher = {ACM Press},
 }



--- Chapter: Prototype

@InProceedings{ heeren03helium,
  author      = {Bastiaan Heeren and Daan Leijen and Arjan van IJzendoorn},
  title       = {Helium, for Learning {H}askell},
  booktitle   = {ACM Sigplan 2003 Haskell Workshop},
  year        = {2003},
  publisher   = {ACM Press},
  address     = {New York},
  pages       = {62 -- 71}
}







 



------------------ MISC

incrementality

@inproceedings{pehongIncForm,
        author={Pehong Chen and Michael A. Harrison and Ikuo Minakata},
        title={Incremental document formatting},
        booktitle={Proceedings of the ACM conference on Document processing systems},
        year= 1988,
        publisher={ACM Press},
        address={Santa Fe, New Mexico, United States},
        pages={93--100},
        url={http://doi.acm.org/10.1145/62506.62523},
        isbn={0-89791-291-8}
}

@inproceedings{abney90rapid,
        author={S. Abney},
        title={Rapid Incremental Parsing with Repair},
        year={1990},
        booktitle={Proceedings of the 6th New OED Conference},
        url={citeseer.nj.nec.com/abney90rapid.html},
        institution={University of Waterloo},
        address={Waterloo, Ontario},
}


@misc{linden94incremental,
        author={Greger Lind{\'e}n},
        title={Incremental Updates in Structured Documents},
        url={citeseer.nj.nec.com/53284.html}
}
Wel leuk. lijkt doc & pres edit te combineren. Alleen geen layers of extra state. Wel incrementaliteit. Geen berekeningen. (geen AG, maar transf. gramm)


??@inproceedings{Acar03,
        author={Umut A. A. Acar and Guy E. Blelloch and Robert Harper},
        title={Selective memoization},
        booktitle={Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
        year= 2003,
        publisher={ACM Press},
        address={New Orleans, Louisiana, USA},
        pages={14--25},
        url={http://doi.acm.org/10.1145/604131.604133},
        isbn={1-58113-628-5}
}

Zie ook Rui's bibliografie

@article{leavenworth66synMacros,
 author = {B. M. Leavenworth},
 title = {Syntax macros and extended translation},
 journal = {Communications of the ACM},
 volume = {9},
 number = {11},
 year = {1966},
 issn = {0001-0782},
 pages = {790--793},
 doi = {http://doi.acm.org/10.1145/365876.365879},
 publisher = {ACM Press},
 }



Vital:
@inproceedings{581493,
 author = {Keith Hanna},
 title = {Interactive visual functional programming},
 booktitle = {Proceedings of the seventh ACM SIGPLAN international conference on Functional programming},
 year = {2002},
 isbn = {1-58113-487-8},
 pages = {145--156},
 location = {Pittsburgh, PA, USA},
 doi = {http://doi.acm.org/10.1145/581478.581493},
 publisher = {ACM Press},
 }



@inproceedings{806450,
 author = {O. Str\&\#246;mfors and L. Jonesj\&\#246;},
 title = {The implementation and experiences of a structure-oriented text editor.},
 booktitle = {Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation},
 year = {1981},
 isbn = {0-89791-050-8},
 pages = {22--27},
 location = {Portland, Oregon, United States},
 }

editor from Cedar
article{ terry90active,
    author = "Douglas B. Terry and Donald G. Baker",
    title = "Active {Tioga} documents: an exploration of two paradigms",
    journal = "Electronic Pub\-lish\-ing\emdash{}Orig\-i\-na\-tion, Dissemination, and Design",
    volume = "3",
    number = "2",
    pages = "105--122",
    year = "1990",
    url = "citeseer.ist.psu.edu/terry90active.html" }



@Article{Paige:1982:FDC,
  author =       "Robert Paige and Shaye Koenig",
  title =        "Finite Differencing of Computable Expressions",
  journal =      j-TOPLAS,
  volume =       "4",
  number =       "3",
  pages =        "402--454",
  month =        jul,
  year =         "1982",
  CODEN =        "ATPSDT",
  ISSN =         "0164-0925",
  bibsource =    "Compiler/bevan.bib, Compiler/Compiler.Lins.bib,
                 Compiler/TOPLAS.bib",
  abstract =     "Finite differencing is a program optimization method
                 that generalizes strength reduction, and provides an
                 efficient implementation for a host of program
                 transformations including ``iterator inversion.''
                 Finite differencing is formally specified in terms of
                 more basic transformations shown to preserve program
                 semantics. Estimates of the speedup that the technique
                 yields are given. A full illustrative example of the
                 algorithm is given.",
  acknowledgement = ack-pb,
  checked =      "19940302",
  keywords =     "algorithms; automatic programming; computations on
                 discrete structures; differentiable expression;
                 languages; optimization; program transformation; SETL;
                 theory; verification; very high-level languages",
  source =       "Dept. Library",
}

Differencing used to optimize imperative programs, by replacing updates to freevars x1,...,xn in E(x1,...,xn) to updates on incremental E, and using that E instead of recomputing it every time. In proxima, we have doc = doc0; loop { rend = pres doc; doc = deltadoc doc; }
is it possible to do:
doc = doc0; rend = pres doc;
loop { doc = deltadoc doc; deltarendering = ..deltadoc ..; rendering = deltarendering rendering}
?




------------------ SPE

@book{Jensen2001BayesianNetworks,
  author = "F.V. Jensen",
  title =  "{Bayesian Networks and Decision Graphs}",
  place = "New York",
  publisher = "Springer",
  year = "2001"
  }




------------------ SBLP 2008

@TECHREPORT{leijen08parsec,
author      = {Daan Leijen and Erik Meijer},
title       = {Parsec: Direct Style Monadic Parser Combinators for the Real World},
institution = {Department of Computer Science, Universiteit Utrecht},
number      = {UU-CS-2001-27},
year        = 2001
}


@manual{swierstra08ag,
    author = "S. Doaitse Swierstra and Arie Middelkoop and Arthur Baars",
    title = "Attribute Grammar System",
    organization = "Utrecht University, The Netherlands",
    year = "2008",
    address = {\url|http://www.cs.uu.nl/groups/ST/Center/AttributeGrammarSystem|}
}



@manual{swierstra08parserCombinators,
    author = "S. Doaitse Swierstra",
    title = "Parser combinators",
    organization = "Utrecht University, The Netherlands",
    year = "2008",
    address = "\url|http://www.cs.uu.nl/wiki/HUT/ParserCombinators|",
}

@inproceedings{swierstra03polishParsers,
 author = {R. John M. Hughes and S. Doaitse Swierstra},
 title = {Polish parsers, step by step},
 booktitle = {ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming},
 year = {2003},
 isbn = {1-58113-756-7},
 pages = {239--248},
 location = {Uppsala, Sweden},
 doi = {http://doi.acm.org/10.1145/944705.944727},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@manual{marlow07alex,
    author = "Simon Marlow",
    title = "Alex: A lexical analyser generator for Haskell",
    year = "2007",
    address = "\url|http://www.haskell.org/alex/|"
}

@misc{ amaya08,
author = "{World Wide Web Consortium}",
title = "Amaya Web Editor/Browser",
howpublished = "\url|http://www.w3.org/Amaya|",
year = 2008
}

@inproceedings{eisenberg07presExtension,
 author = {Andrew D. Eisenberg and Gregor Kiczales},
 title = {Expressive programs through presentation extension},
 booktitle = {AOSD '07: Proceedings of the 6th international conference on Aspect-oriented software development},
 year = {2007},
 isbn = {1-59593-615-7},
 pages = {73--84},
 location = {Vancouver, British Columbia, Canada},
 doi = {http://doi.acm.org/10.1145/1218563.1218573},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@Article{westphal04redwood,
  author =     "Brian T. Westphal and Frederick C. Harris, Jr. and Sergiu M. Dascalu",
  title =      "Snippets: Support for Drag-and-Drop Programming in the Redwood Environment",
  abstract =   "This paper presents an overview of the Redwood programming environment and details one of its key features, snippets. Through snippets, developers can both make use of a variety of predefined programming constructs and build their own reusable program components. Language-independent, snippets are descriptions of program parts that can be as simple as an assignment statement or as complex as a sophisticated optimization algorithm. In Redwood, snippets also provide support for a distinguishing facility of visual environments: direct manipulation via drag-and-drop. An example of working with snippets, including snippet definition, visualization, customization, and mapping to code is also presented in the paper.",
  journal =    "Journal of Universal Computer Science",
  year =       "2004",
  volume =     "10",
  number =     "7",
  pages =      "859--871",
  date =       "2004-07-28",
  month =      "jul",
  url =        "http://www.jucs.org/jucs_10_7/snippets_support_for_drag"}


------------------ Haskell Symposium 2008
 
@inproceedings{ hudak98DSLs,
    author = "Paul Hudak",
    title = "Modular Domain Specific Languages and Tools",
    booktitle = "Proceedings: Fifth International Conference on Software Reuse",
    publisher = "IEEE Computer Society Press",
    editor = "P. Devanbu and J. Poulin",
    pages = "134--142",
    year = "1998",
    }



@inproceedings{augustsson98cayenne,
 author = {Lennart Augustsson},
 title = {Cayenne -- a language with dependent types},
 booktitle = {Proceedings of the third ACM SIGPLAN international conference on Functional programming},
 year = {1998},
 isbn = {1-58113-024-4},
 pages = {239--250},
 location = {Baltimore, Maryland, United States},
 doi = {http://doi.acm.org/10.1145/289423.289451},
 publisher = {ACM Press},
 }

@article{medvidovic00ADLs,
 author = {Nenad Medvidovic and Richard N. Taylor},
 title = {A Classification and Comparison Framework for Software Architecture Description Languages},
 journal = {IEEE Transactions on Software Engineering},
 volume = {26},
 number = {1},
 year = {2000},
 issn = {0098-5589},
 pages = {70--93},
 publisher = {IEEE Press},
 }

@book{milner97ML,
 author = {Robin Milner and Mads Tofte and David MacQueen},
 title = {The  Definition of {Standard} {ML}},
 year = {1997},
 isbn = {0262631814},
 publisher = {MIT Press},
 }



@manual{plasmeijer01clean,
    author = "R. Plasmeijer and M. van Eekelen",
    title = "{Concurrent} {CLEAN} Language Report (version 2.0)",
    month = "December",
    year = "2001",
    url = "http://www.cs.kun.nl/~clean/contents/contents.html"
}


@article{jones00fundep,
  author =       "Mark P. Jones",
  title =        "Type Classes with Functional Dependencies",
  journal =      "Lecture Notes in Computer Science",
  volume =       "1782",
  pages =        "230--244",
  year =         "2000",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743",
  bibdate =      "Fri Feb 1 09:16:14 MST 2002",
  URL =          "http://link.springer-ny.com/link/service/series/0558/bibs/1782/17820230.htm;
                 http://link.springer-ny.com/link/service/series/0558/papers/1782/17820230.pdf",
  acknowledgement = ack-nhfb,
}



@inproceedings{ leijen99dsecs,
    author = "Daan Leijen and Erik Meijer",
    title = "Domain specific embedded compilers",
    booktitle = "Domain-Specific Languages",
    pages = "109-122",
    year = "1999"}
    

@inproceedings{schrage08beyondASCII,
  author    = {Martijn M. Schrage and S. Doaitse Swierstra},
  title     = {Beyond {ASCII} -- {Parsing} programs with graphical presentations},
  booktitle = {Proceedings of the 12th Brazilian Symposium on Programming Languages, SBLP 2008},
  year      = {2008},
  url       = {http://www.cs.uu.nl/wiki/bin/view/Proxima/Documents},
  urlpdf    = {http://www.cs.uu.nl/~martijn/docs/BeyondASCII.pdf}
}

    
------------------ NlNet aanvraag


@misc{yahoo08pipes,
author = "{Yahoo!}",
title = "Yahoo! Pipes",
howpublished = "\url|http://pipes.yahoo.com|",
year = 2008
}

@misc{schrage08proximaHome,
author = "Martijn M. Schrage and Lambert Meertens and S. Doaitse Swierstra",
title = "The {Proxima} project",
howpublished = "\url|http://www.cs.uu.nl/research/projects/proxima|",
year = 2008
}