POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
CLP( R ) and some electrical engineering problems
Journal of Automated Reasoning
Self-applicable partial evaluation for the pi-calculus
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
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
Proving concurrent constraint programs correct
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the Second International Euro-Par Conference on Parallel Processing - Volume I
Euro-Par '96 Proceedings of the Second International Euro-Par Conference on Parallel Processing - Volume I
Selected Papers from the Internaltional Seminar on Partial Evaluation
Selected Papers from the Internaltional Seminar on Partial Evaluation
I/O Mode Analysis in Concurrent Logic Programming
TPPP '94 Proceedings of the International Workshop on Theory and Practice of Parallel Programming
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Partial Evaluation Scheme for Concurrent Languages and Its Correctness
Euro-Par '96 Proceedings of the Second International Euro-Par Conference on Parallel Processing - Volume I
Concurrent constraint programming languages
Concurrent constraint programming languages
Transformations of CCP programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Color-Blind specifications for transformations of reactive synchronous programs
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Hi-index | 0.00 |