zengyan@; 算法的正确性;数学模型;例简化线性表的ADT定义;用C语言实现ADT;算法描述规范与设计风格 ;函数参数的传递;viod swap2(int *a,int *b) { int c; c=*a; *a=*b; *b=c; } viod main) { int x=100,y=800; swap1(x,y; printf(调swap1后x=%d,y=%d,x