hermitage 发表于 2025-4-1 03:39:06

http://reply.papertrans.cn/88/8763/876210/876210_61.png

acrophobia 发表于 2025-4-1 08:27:09

http://reply.papertrans.cn/88/8763/876210/876210_62.png

摆动 发表于 2025-4-1 14:11:43

http://reply.papertrans.cn/88/8763/876210/876210_63.png

entice 发表于 2025-4-1 17:14:50

http://reply.papertrans.cn/88/8763/876210/876210_64.png

Missile 发表于 2025-4-1 20:56:30

http://reply.papertrans.cn/88/8763/876210/876210_65.png

有斑点 发表于 2025-4-2 00:25:55

Program Analysis and Machine Learning: A Win-Win Deal,We give an account of our experiences working at the intersection of two fields: program analysis and machine learning. In particular, we show that machine learning can be used to infer annotations for program analysis tools, and that program analysis techniques can be used to improve the efficiency of machine learning tools.
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: Static Analysis; 18th International S Eran Yahav Conference proceedings 2011 Springer-Verlag GmbH Berlin Heidelberg 2011 Concurrency.logic