[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Implementation of term rewritings with the evaluation strategy
Glaser, Hugh, Hartel, Pieter, Kuchen, HerbertТом:
10.1007/BF
Рік:
1997
Мова:
english
DOI:
10.1007/bfb0033847
Файл:
PDF, 883 KB
english, 1997