（）是这样的一组程序语句，它包括输入、输出、逻辑处理功能，内部信息及其运行环境。

张某与王某约定，王某将汽车无偿转让给张某，条件是张某将自己的房屋无偿提供给王某居住，张某与王某之间的合同是()

A．买卖合同

B．租赁合同

C．无名合同

D．互易合同