Towards automated synthesis of data mining programs
KDD '99 Proceedings of the fifth ACM SIGKDD international conference on Knowledge discovery and data mining
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Designware: software development by refinement
High integrity software
Automated Software Engineering
Journal of Automated Reasoning
Compiling High-Level Type Constructors in Constraint Programming
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Generating Data Analysis Programs from Statistical Models
SAIG '00 Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation
Systematising Reactive System Design
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Design Templates for Collective Behavior
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Automated Software Engineering
Building reliable, high-performance networks with the Nuprl proof development system
Journal of Functional Programming
AutoBayes: a system for generating data analysis programs from statistical models
Journal of Functional Programming
Software reuse for scientific computing through program generation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Testing first-order logic axioms in program verification
TAP'10 Proceedings of the 4th international conference on Tests and proofs
Certifiable program generation
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
A framework for testing first-order logic axioms in program verification
Software Quality Control
| Hi-index | 0.00 |