home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / lang / function / 1338 < prev    next >
Encoding:
Internet Message Format  |  1992-11-08  |  2.6 KB
  1. Path: sparky!uunet!zaphod.mps.ohio-state.edu!cis.ohio-state.edu!magnus.acs.ohio-state.edu!usenet.ins.cwru.edu!agate!doc.ic.ac.uk!uknet!mucs!m1!bevan
  2. From: bevan@cs.man.ac.uk (Stephen J Bevan)
  3. Newsgroups: comp.lang.functional
  4. Subject: Re: Functional Parsers
  5. Message-ID: <BEVAN.92Nov7105550@hippo.cs.man.ac.uk>
  6. Date: 7 Nov 92 10:55:50 GMT
  7. References: <BEVAN.92Nov1141304@otter.cs.man.ac.uk> <1992Nov3.145117.21227@eng.cam.ac.uk>
  8.     <1992Nov3.160104.5305@odin.diku.dk>
  9.     <1992Nov4.153220.8174@eng.cam.ac.uk> <Bx923M.K82@dcs.glasgow.ac.uk>
  10. Sender: news@cs.man.ac.uk
  11. Organization: Department of Computer Science, University of Manchester
  12. Lines: 48
  13. In-reply-to: jl@dcs.glasgow.ac.uk's message of 5 Nov 92 15:38:09 GMT
  14.  
  15. In article <Bx923M.K82@dcs.glasgow.ac.uk> jl@dcs.glasgow.ac.uk (John Launchbury) writes:
  16.    I am amazed that after more than half a dozen articles on functional
  17.    parsers that no-one has referred to the literature.
  18.  
  19. I think the literature is, on the whole, covered in the references of
  20. the papers that have been mentioned in the articles.  For example, I
  21. reference Burge in my (incomplete) paper since it mentions the use of
  22. continuations (which IMHO is the interesting part :-) and if I ever
  23. finish the paper, I'll also include a reference to Lloyd Allison's
  24. paper.  If and when I cover building the AST and/or dealing with
  25. ambiguous grammars, the following will also be referenced :-
  26.  
  27. @inproceedings
  28. { Koster75
  29. , author=    {C. H. A. Koster}
  30. , title=     {A technique for parsing ambiguous grammars}
  31. , booktitle= {Jahrestagung}
  32. , year=      {1975}
  33. , editor=    {D. Siefkes}
  34. , pages=     {233--246}
  35. , publisher= SpringerVerlag
  36. , note=      {LNCS 26}
  37. }
  38.  
  39. which covers much of the work (under in the form of affix grammars)
  40. which has been subsequently rediscovered in the functional language
  41. area.  If one wishes to push further back, higher order functional
  42. parsers bear a striking similarity with van Wijngaarden grammars; just
  43. replace the higher order combining forms (seq, alt ... etc.) with
  44. meta-rules in a van Wijngaarden grammar.  This fact has not be lost
  45. on others, and one went so far as to get a Ph.D on the subject.
  46. (actually the thesis goes the other way, it replaces meta-rules with
  47. HOF ... etc.)
  48.  
  49. @phdthesis
  50. { Edupuganty87
  51. , author= {Balanjaninath Edupuganty}
  52. , title=  {Two Level Grammars: An implementable metalanguage for
  53.            consistent and complementary language specifications} 
  54. , school= {University of Alabama in Birmingham}
  55. , year=   {1987}
  56. }
  57.  
  58. So to sum up: functional parsing is a simple idea, it has been
  59. independently invented many times and will probably be re-invented
  60. many times in the future.
  61.  
  62. bevan
  63.