共 50 条
- [22] A constraint-based analysis of Galician geada Contemporary Approaches to Romance Linguistics, 2004, 258 : 299 - 320
- [23] Fracture mechanics analysis of embedded cracks in plates Hedongli Gongcheng/Nuclear Power Engineering, 2011, 32 (SUPPL. 1): : 22 - 27
- [24] Constraint-based array dependence analysis ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 20 (03): : 635 - 678
- [25] Constraint-based analysis of broadcast protocols COMPUTER SCIENCE LOGIC, PROCEEDINGS, 1999, 1683 : 50 - 66
- [26] Stress intensity factors for internal circumferential cracks in thin- and thick-walled cylinders Eng. Fract. Mech., 5-6 (491-500):
- [29] Introduction to set constraint-based program analysis Science of Computer Programming, 1999, 35 (02): : 79 - 111
- [30] Constraint-based termination analysis of logic programs ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (06): : 1137 - 1195