冒泡排序（部分元素）
冒泡排序算法的一种更加通用的程序实现。它可为函数调用者提供一种可对数组中部分元素进行排序的功能。（验证时间约 16sec）
[Back to Index]
验证特点：排序，量化断言
标注说明：函数前条件：给出排序前数组a的性质：长度和偏移；
函数后条件：给出排序后数组a的有序性（递增）描述。
程序样例 
冒泡排序算法的一种更加通用的程序实现。它可为函数调用者提供一种可对数组中部分元素进行排序的功能。（验证时间约 16sec）
验证特点：排序，量化断言
标注说明：函数前条件：给出排序前数组a的性质：长度和偏移；
函数后条件：给出排序后数组a的有序性（递增）描述。
程序样例