Static inference of modes and data dependencies in logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Functional computations in logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Semantic-head-driven generation
Computational Linguistics
Generators and the replicator control structure in the parallel environment of ALLOY
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Efficient dataflow analysis of logic programs
Journal of the ACM (JACM)
Semantics of constraint logic programs with optimization
ACM Letters on Programming Languages and Systems (LOPLAS)
Analyzing logic programs with dynamic scheduling
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proving concurrent constraint programs correct
ACM Transactions on Programming Languages and Systems (TOPLAS)
Sets and constraint logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hi-index | 0.00 |