共 50 条
- [1] A PRACTICAL EXAMPLE OF MULTIPLE INHERITANCE IN C++ [J]. SIGPLAN NOTICES, 1989, 24 (09): : 112 - 115
- [2] AN EXAMPLE OF MULTIPLE INHERITANCE IN C++ - A MODEL OF THE IOSTREAM LIBRARY [J]. SIGPLAN NOTICES, 1989, 24 (12): : 32 - 36
- [3] Priority Inheritance Protocol Proved Correct [J]. Journal of Automated Reasoning, 2020, 64 : 73 - 95
- [5] Analysis of inheritance and multiple inheritance [J]. SOFTWARE ENGINEERING JOURNAL, 1996, 11 (04): : 215 - 224
- [6] Predicting a Correct Program in Programming by Example [J]. COMPUTER AIDED VERIFICATION, PT I, 2015, 9206 : 398 - 414
- [7] JACKSON STRUCTURED PROGRAMMING - A CORRECT EXAMPLE [J]. ANGEWANDTE INFORMATIK, 1980, (03): : 91 - 95
- [9] A SEMANTICS OF MULTIPLE INHERITANCE [J]. INFORMATION AND COMPUTATION, 1988, 76 (2-3) : 138 - 164