学术搜索
科研智能体
Research Labs
AI 阅读
AI 文库
深度研究
学者亮点
学术资源
AI2000
期刊/会议
学者库
学术API
溯源树
数据集
知识沉淀
学术空间
订阅小程序
旧版功能
开通会员
低至0.73元/天
一次搞定AI科研
立即登录
English
联系方式
Generative Programming and Component Engineering
Conference
年发文量
研究主题
论文（516）
排序
时间
引用
1
Metis: A Compositional DSL for Board Games and Game Tree Search
Thomas Kottenhahn
,
Prashant Kumar
2026
引用
AI阅读
加入学术空间
2
Programmable Record Types in Haskell
Arthur Jamet
,
Michael Vollmer
2026
引用
AI阅读
加入学术空间
3
Executable Counterfactuals: A Causal Calculus for Concurrent Systems (Keynote)
Georgiana Caltais
2026
引用
AI阅读
加入学术空间
4
Synthesizing Recursive Functional Programs Via Structure-Element Separation
Junyu Lin
,
Akimasa Morihata
2026
引用
AI阅读
加入学术空间
5
TurtleTalk: A DSL for Constraint-Based Turtle Graphics in Programmatic CAD
Jef Jacobs
,
Wolfgang De Meuter
,
Jens Nicolay
2026
引用
AI阅读
加入学术空间
立即登录
，查看全部 516 篇论文
高被引作者
作者
引用
发文
Jack Greenfield
1771
1
Sven Apel
1468
19
Tom Mens
1293
2
Pieter Van Gorp
1293
2
Christian Kästner
1110
14
Krzysztof Czarnecki
1083
6
Martin Odersky
590
7
Sandro Schulze
588
5
Tiark Rompf
557
9
Michal Antkiewicz
540
1
高产作者
作者
引用
发文
Sven Apel
1468
19
Christian Kästner
1110
14
Walter Binder
147
10
Tiark Rompf
557
9
Shigeru Chiba
382
9
Don Batory
493
8
Ina Schaefer
326
8
Sebastian Erdweg
177
8
Eelco Visser
366
7
Martin Odersky
590
7
相关期刊
The Art, Science, and Engineering of Programming
European Conference on Object-Oriented Programming
Software Language Engineering
Verified Software: Theories, Tools, Experiments
Dynamic Languages Symposium
Fundamental Approaches to Software Engineering
Formal Methods in Software Engineering
Journal of Object Technology
arXiv: Software Engineering
ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications
