https://dds.las.ac.cn/service/book?appId=a1vacbnPuv9qJRzJvdNXfsesj9JbIa6e&appKey=sPBA4vANLzjnW1k5eufEcc4k7dxfNraW&ts=1730414801079&signature=1e8e2f5f2880c5c365d573ca47a2482a&name=Programming+languages+and+systems+%3A+23rd+European+Symposium+on+Programming%2C+ESOP+2014%2C+held+as+part&author=European+Symposium+on+Programming&publishYear=2014&isn=9783642548321&publisher=Heidelberg+%3A+Springer%2C+%5B2014%5D.&destLibCode=311001&destLibName=中国科学院文献情报中心&agentLibCode=311001&agentLibName=中国科学院文献情报中心