Parallel bounded quantification—preliminary results
ACM SIGPLAN Notices
Search and imperative programming
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Alma-O: an imperative language that supports declarative programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Theory and Practice of Logic Programming - Prolog Systems
Feature interaction analysis of the feature-oriented requirements-modelling language using alloy
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Hi-index | 0.00 |