@dblp

An Abstract Machine for Fixed-Order Dynamically Stratified Programs.

, , und . CADE, Volume 1104 von Lecture Notes in Computer Science, Seite 328-342. Springer, (1996)

Links und Ressourcen

Tags