[nem-pl] [rfc] poster

[Michal Moskal]

On Mon, Nov 03, 2003 at 01:33:14PM +0100, Lukasz Kaiser wrote:
> Hej.
>  
> > Pod http://nemerle.org/~malekith/budapest.pdf jest nowa wersja:
> >   - przykłady są okomentowane
> >   - drzewa RB są na koniec bez komentarza
> >   - dodałem sekcję o TRS i testach, ale coś tu trzeba będzie jeszcze
> >     dodać
> >   - takie tam drobne poprawki
> > 
> > Razem 12 stron, myślę, że po 4 w rzędzie.
> 
> 12 stron jest chyba OK. Mam pytanie co do tego SQL, czy to to lname nie
> powinno byc jakos poprzedzone np. jakims "as" albo czyms, bo to nie jest
> konstrukcja sql tylko dodatek tego rozszerzenia a ile dobrze rozumiem, ale
> w zasadzie to nie rozumiem tego przykladu do konca.

W SQL pisze się dokładnie tak. Fakt, że to jest dodatek rozszerzenia,
ale chyba rozsądnie jest w takim wypadku użyć istniejącej składni, skoro
pasuje.

> Jesli chodzi o sekcje o TRS i testach to proponuje inny tytul, bo ludzie
> lepiej rozumieja "formal semantics" niz "TRS", szczegolnie w tytule.
> Mysle, ze mozesz napisac po pierwszym punkcie ktory jest OK cos w stylu
> * using term rewriting semantics it will be possible to prove program
>   properties using existing equational theorem provers (Isabelle, VeriFun)

Done. Nowa wersja w starym miejscu. Jakby ktoś chciał o to pytać to
przekieruję na Ciebie ;)

[snip]
> Niezaleznie od plakatu - co sie dzieje z Andrzejem i z dokumentacja kodu ?

No clue.

-- 
: Michal Moskal :: http://www.kernel.pl/~malekith : GCS {C,UL}++++$ a? !tv
: When in doubt, use brute force. -- Ken Thompson : {E-,w}-- {b++,e}>+++ h