程序挤压重新实现Tom Kelly和Peter Wonka的工作:具有程序挤压的交互式建筑建模