Maude jako preprocesor SQL

Prelegent(ci)

Bartosz Zieliński

Afiliacja

Uniwersytet Łódzki

Termin

3 grudnia 2012 10:15

Pokój

p. 4790

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

Opowiem o pomyśle wykorzystania systemów przepisywania termów jako lepszych makroprocesorów, w szczególności opiszę tworzony obecnie system (na wczesnym etapie rozwoju) reprezentowania zapytań SQL jako termów Maude i jego zastosowanie do generowania SQL-a, modularyzacji kodu i eksperymentowania z semantycznymi rozszerzeniami języka.

Praca wspólna ze Ś. Sobieskim.

---