Maude jako preprocesor SQL

Speaker(s)

Bartosz Zieliński

Affiliation

Uniwersytet Łódzki

Date

Dec. 3, 2012, 10:15 a.m.

Room

room 4790

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

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.

---