Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
E. Jiresch:
"Extending the Interaction Nets Calculus by Generic Rules";
Vortrag: Central European Functional programming School (CEFP) - PhD Workshop,
Budapest;
18.06.2011
- 23.06.2011; in: "Central European Functional Programming School - PhD Workshop",
(2011),
3 S.
Kurzfassung englisch:
We extend the textual calculus for interaction nets by generic
rules and propose constraints to preserve uniform con
uence.
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_206696.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.