[Zurück]


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.