Partial-evaluation techniques for concurrent programs
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A transformation system for CLP with dynamic scheduling and CCP
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Transformations of CCP programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Concurrent and reactive constraint programming
A 25-year perspective on logic programming
| Hi-index | 0.00 |