John, Language of Languages (LoLs) presented during the FlexiTools workshop at SPLASH 2010 uses a CAT parser. CAT (which is now Contextual Attributed Translator) is very similar to OMeta. It continues the work Alex Warth and I wrote about Left Recursion with Pack Rat Parsers. The current version of CAT has a simpler, more general and slightly faster left recursion support than we had in the original paper (PEPM 2008). CAT, unlike Pack Rat Parsers, only memoizes what it knows it will need again to avoid reparsing and only keeps memos for as long as needed. This gives linear runtime performance without the memory burden normally associated with Pack Rat parsing, and faster individual parsing operations.
LoLs uses language translation as a kind of superglue between multiple ways to represent concepts based on context for various domains and languages http://www.ics.uci.edu/~nlopezgi/flexitools/papers/douglass_flexitools_splash2010.pdf<http://www.ics.uci.edu/%7Enlopezgi/flexitools/papers/douglass_flexitools_splash2010.pdf>. During the FlexiTools workshop this style of translation was referred to as "context on steroids". Nicholas Chen at UIUC and I are working on the bootstrap version of LoLs with CAT. We are hoping to have the initial open source release this fall in time for SPLASH 2011. I can share more about LoLs and CAT if folks are interested. Jamie From: Alan Kay [mailto:[email protected]]<mailto:[mailto:[email protected]]> Sent: Tuesday, April 12, 2011 9:53 AM To: Fundamentals of New Computing; Douglass, Jamie Subject: Re: [fonc] Question about OMeta Hi John Alex Warth and Jamie Douglass co-wrote a paper on "Pack Rat Parsers" a few years ago .... I asked you because you like to poke around both in the present and in the past. Cheers, Alan ________________________________ From: John Zabroski <[email protected]<mailto:[email protected]>> To: Fundamentals of New Computing <[email protected]<mailto:[email protected]>>; [email protected]<mailto:[email protected]> Sent: Mon, April 11, 2011 8:21:06 PM Subject: Re: [fonc] Question about OMeta On Sat, Apr 9, 2011 at 12:09 AM, Alan Kay <[email protected]<mailto:[email protected]>> wrote: But now you are adding some side conditions :) For example, if you want comparable or even better abstractions in the target language, then there is a lot more work that has to be done (and I don't know of a great system that has ever been able to do this well e.g. to go from an understandable low level meaning to really nice code using the best abstractions of the target language). Maybe John Z knows? Alan, There was a guy at SPLASH 2010 that was talking about wanting to build such a system. I think he was a researcher at Boeing, but he came across as so practically minded that I thought he was a programmer just like me. I don't know why you thought I specifically would have any ideas on this... but... Tell me your thoughts on http://www.ics.uci.edu/~nlopezgi/flexitools/papers/douglass_flexitools_splash2010.pdf<http://www.ics.uci.edu/%7Enlopezgi/flexitools/papers/douglass_flexitools_splash2010.pdf> I am surprised you didn't mention this above since he uses Squeak for the bootstrap. I suggested at SPLASH that he contact you (VPRI, really), especially when you consider how close by you are. As for UNCOL, I have Sammet's book on programming and there are some really interesting conferences from the 1950s that are covered in the preface/disclaimer. Well, at least I think it's the book that mentions it. Either way I couldn't easily look up these references or find proceedings from conferences in the 1950s.
_______________________________________________ fonc mailing list [email protected] http://vpri.org/mailman/listinfo/fonc
