学术搜索
科研智能体
Research Labs
AI 阅读
AI 文库
AMiner 沉思
AMiner 亮点
学术资源
AI2000
期刊/会议
学者库
学术API
溯源树
数据集
知识沉淀
学术空间
订阅小程序
旧版功能
开通会员
低至0.73元/天
一次搞定AI科研
立即登录
English
联系方式
Art, Science and Engineering of Programming | AMiner期刊详情 | AMiner
Art, Science and Engineering of Programming
Conference
年发文量
研究主题
论文（288）
排序
时间
引用
1
A Pragmatic Approach to Replay Compilation (extended Abstract).
Andrej Pecimuth
,
David Leopoldseder
,
Petr Tuma
2025
引用
AI阅读
加入学术空间
2
Renkon-Pad: A Live and Self-Sustaining Programming Environment Based on Functional Reactive Programming.
Yoshiki Ohshima
,
Adam Bouhenguel
,
Matthew Good
2025
引用
AI阅读
加入学术空间
3
Fuzzing As Editor Feedback.
Marcel Garus
,
Jens Lincke
,
Robert Hirschfeld
2025
引用
AI阅读
加入学术空间
4
In-Situ Visual Programming.
Ulrich Brandstätter
,
Bernhard Schenkenfelder
2025
引用
AI阅读
加入学术空间
5
COP Layer Encapsulating Non-Functional Requirements for Physical Systems on Hakoniwa Environment.
Yudai Yamada
,
Nobuhiko Ogura
,
Kenji Hisazumi
,
Harumi Watanabe
2025
引用
AI阅读
加入学术空间
6
Exploring a Quantum Programming Language with Concurrency.
Manisha Jain
,
Vitor Fernandes
,
Alexandre Madeira
,
Luís Soares Barbosa
2025
引用
AI阅读
加入学术空间
7
Locus: A Proposal for Quantum Software Composition.
Javier Zayas Gallardo
,
Francisco Chicano
,
Carlos Canal
,
Juan Manuel Murillo
2025
引用：1
引用
AI阅读
加入学术空间
8
Towards a Java Virtual Machine for Processing-In-Memory (extended Abstract).
Kazuki Ichinose
,
Shigeyuki Sato
,
Tomoharu Ugawa
2025
引用
AI阅读
加入学术空间
9
Dimensions of Examples: Toward a Framework for Qualifying Examples in Programming.
Toni Mattis
,
Lukas Böhme
,
Stefan Ramson
,
Tom Beckmann
,
Martin C. Rinard
,
Robert Hirschfeld
2025
引用
AI阅读
加入学术空间
10
Debugging a Smalltalk VM Assisted by Large Automated Reasoning (extended Abstract).
Boris Shingarov
,
Jan Vraný
2025
引用
AI阅读
加入学术空间
11
Is There Hypothesis for Attribute Grammars?
Emanuel Rodrigues
,
José Nuno Macedo
,
João Saraiva
2025
引用
AI阅读
加入学术空间
12
Encouraging Experimentation Through Programming by Proximity.
Tom Beckmann
,
Leonard Geier
,
Stefan Ramson
,
Marcel Taeumel
,
Robert Hirschfeld
2025
引用
AI阅读
加入学术空间
13
Comparing R Bytecode Compilers Written in R, Java, and Rust (extended Abstract).
Pierre Donat-Bouillud
,
Filip Krikava
,
Jakob Hain
,
Adam Plodek
,
Jan Vitek
2025
引用
AI阅读
加入学术空间
14
The Pyttern Program Query Language.
Julien Liénard
,
Kim Mens
,
Siegfried Nijssen
2025
引用
AI阅读
加入学术空间
15
On the Effectiveness of Interpreter-Guided Compiler Testing.
Federico Lochbaum
,
Guillermo Polito
2025
引用
AI阅读
加入学术空间
16
Shica - Improving the Programming Experience for Agent-Based, Distributed, Physical Computing Systems.
Hiroto Shikada
,
Ian Piumarta
2025
引用
AI阅读
加入学术空间
17
Im-C - A Memory-Safe C Interpreter Providing a Better Learning, Testing, and Debugging Experience.
Masaki Kunii
,
Ian Piumarta
2025
引用
AI阅读
加入学术空间
18
Mutable Value Semantics Through a Runtime-Enforced Framework in Scala (extended Abstract).
Hamza Remmal
2025
引用
AI阅读
加入学术空间
19
Quantum Table: A Tangible Quantum Circuit Demonstrator.
Stefan Hillmich
,
Raphael Zefferer
,
Mathias Gartner
,
Bernhard Schenkenfelder
,
Sonja Bruckner
,
Ulrich Brandstätter
2025
引用
AI阅读
加入学术空间
20
It's OK to Want to Have a Good Time.
Luke Church
,
Mariana Marasoiu
2025
引用
AI阅读
加入学术空间
加载更多
高被引作者
作者
引用
发文
Robert Hirschfeld
81
31
Michael Johnson
58
2
Philip Tchernavskij
56
4
Franklin Schrans
54
1
Susan Eisenbach
54
1
Sophia Drossopoulou
54
1
Christos Kotselidis
52
4
Mira Mezini
49
3
Guido Salvaneschi
49
3
Alfred Åkesson
48
2
高产作者
作者
引用
发文
Robert Hirschfeld
81
31
Toni Mattis
44
11
Patrick Rein
23
10
Fabio Niephaus
24
10
Marcel Taeumel
5
8
Luke Church
31
6
Eva Krebs
3
6
Tim Felgentreff
20
6
Emma Söderberg
6
5
Antranig Basman
32
4
相关期刊
The Art, Science, and Engineering of Programming
Dagstuhl Artifacts Series
European Conference on Object-Oriented Programming
ACM-SIGPLAN Symposium on Programming Language Design and Implementation
Verified Software: Theories, Tools, Experiments
Brazilian Symposium on Programming Languages
Dynamic Languages Symposium
Generative Programming and Component Engineering
Intermediate Representation Engineering for Virtual Machines
ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications
