Fully Automatic Adaptation of Software Components Based on Semantic Specifications
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Graph-based proof counting and enumeration with applications for program fragment synthesis
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Hi-index | 0.00 |