[ACM Press the 1995 ACM SIGPLAN symposium - La Jolla, California, United States (1995.06.21-1995.06.23)] Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '95 - Schedulers as abstract interpretations of higher-dimensional automata
Goubault, EricYear:
1995
Language:
english
DOI:
10.1145/215465.215577
File:
PDF, 1.28 MB
english, 1995