Specification and generation of constraint satisfaction systems
Specification and generation of constraint satisfaction systems
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Communications of the ACM
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
Comparing Two Parallel Logic-Programming Architectures
IEEE Software
Parital Computation of Programs
Proceedings of RIMS Symposium on Software Science and Engineering
The Definition and Implementation of a Computer Programming Language Based on Constraints
The Definition and Implementation of a Computer Programming Language Based on Constraints
Hi-index | 0.00 |