logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回期刊详情
J

Journal of Object Technology

IF1.4
论文数20
被引数
期刊论文 20
发表时间
delete
Automatic Data Structures Visualization in IntelliJ IDEA在IntelliJ IDEA中的自动数据结构可视化
deleteJournal of Object Technology
IF1.4
delete2026-01-01
delete0
PREAI
deleteEmdin, Grigorii; Kirkhmeier, Dmitrii; Koval, Nikita
delete分享
delete收藏
Towards a Unifying Semantics Playground迈向统一的语义游乐场
deleteJournal of Object Technology
IF1.4
delete2026-01-01
delete0
PREAI
deleteButterfield, Andrew
delete分享
delete收藏
ICOOOLPS 2025-Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems PrefaceICOOOLPS 2025—面向对象语言、程序和系统的实现、编译与优化 前言
deleteJournal of Object Technology
IF1.4
delete2026-01-01
delete0
PREAI
deleteRosa, Andrea; Ferreira, Paulo
delete分享
delete收藏
Cellato: a DSL for Cellular Automata based on C++ Template Meta-programmingCellato：一种基于C++模板元编程的元胞自动机领域特定语言
deleteJournal of Object Technology
IF1.4
delete2026-01-01
delete0
PREAI
deleteBrabec, Matyas; Klepl, Jiri; Krulis, Martin
delete分享
delete收藏
Live Feedback through Incremental Program Analysis (Keynote)通过增量程序分析的实时反馈（主题演讲）
deleteJournal of Object Technology
IF1.4
delete2026-01-01
delete0
PREAI
deleteErdweg, Sebastian
delete分享
delete收藏
AST, Bytecode, and the Space In Between: An Exploration of Interpreter Design TradeoffsAST、字节码及其之间的空间：对解释器设计权衡的探索
deleteJournal of Object Technology
IF1.4
delete2026-01-01
delete0
PREAI
deleteLarose, Octave; Vollmer, Michael; Marr, Stefan
delete分享
delete收藏
Revisiting Borrow Checking with Abstract Interpretation基于抽象解释重新审视借用检查
deleteJournal of Object Technology
IF1.4
delete2026-01-01
delete0
PREAI
deleteCoet, Aurelien; Buchs, Didier
delete分享
delete收藏
HyperEvade: Countering Anti-Debugging Techniques and Enhancing Transparency in Nested Virtualization using HyperDbgHyperEvade：使用HyperDbg对抗反调试技术并增强嵌套虚拟化中的透明度
deleteJournal of Object Technology
IF1.4
delete2026-01-01
delete0
PREAI
deleteRuytenberg, Bjorn; Karvandi, Mohammad Sina
delete分享
delete收藏
ECOOP Workshop Post-ProceedingsECOOP研讨会后期论文集
deleteJournal of Object Technology
IF1.4
delete2026-01-01
delete0
PREAI
deleteAubert, Clement; Stolz, Volker
delete分享
delete收藏
An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (Y)C20 memory consistency model针对(Y)C20内存一致性模型的Rust原子引用计数算法核心的模块化验证方法
deleteJournal of Object Technology
IF1.4
delete2026-01-01
delete0
PREAI
deleteJacobs, Bart; Fasse, Justus
delete分享
delete收藏
FTfJP 2025-Formal Techniques for Judicious Programming PrefaceFTfJP 2025-谨慎编程的形式化技术 前言
deleteJournal of Object Technology
IF1.4
delete2026-01-01
delete0
PREAI
deleteDin, Crystal Chang
delete分享
delete收藏
Trace Debugger: Interactive Execution Trace Debugging for Java and Kotlin追踪调试器：用于Java和Kotlin的交互式执行追踪调试
deleteJournal of Object Technology
IF1.4
delete2026-01-01
delete0
PREAI
deleteArtiukhov, Dmitrii; Brockbernd, Bob; Fedotova, Evgeniia; Koval, Nikita; Kylchik, Ivan; Moiseenko, Evgenii; Serebryakov, Lev; Zhelenskiy, Evgeniy; Zuev, Maksim
delete分享
delete收藏
Gradual Verification: Assuring Software Incrementally渐进式验证：逐步确保软件
deleteJournal of Object Technology
IF1.4
delete2026-01-01
delete0
PREAI
deleteAldrich, Jonathan
delete分享
delete收藏
Implementing Object Tracking in the Emerald Object-Oriented Language在Emerald面向对象语言中实现对象跟踪
deleteJournal of Object Technology
IF1.4
delete2026-01-01
delete1
PREAI
deleteJul, Eric
delete分享
delete收藏
Bounded Serial Compositional Runtime Enforcement有界串行组合运行时强制
deleteJournal of Object Technology
IF1.4
delete2026-01-01
delete0
PREAI
deleteShankar, Saumya; Jeron, Thierry; Srinidi, Prisha; Pinisetty, Srinivas
delete分享
delete收藏
FRET2WEST: Exploring translation between temporal logic representationsFRET2WEST：探索时序逻辑表示之间的转换
deleteJournal of Object Technology
IF1.4
delete2026-01-01
delete0
PREAI
deleteLai, Songyan; Monahan, Rosemary
delete分享
delete收藏
Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine垃圾回收虚拟机中的低开销分配采样
deleteJournal of Object Technology
IF1.4
delete2026-01-01
delete0
PREAI
deleteJung, Christoph; Bolz-Tereick, C. F.
delete分享
delete收藏
PLSS 2025-Programming Language Standardization and Specification Workshop Report2025年编程语言标准化与规范研讨会报告
deleteJournal of Object Technology
IF1.4
delete2026-01-01
delete0
PREAI
deleteBarash, Mikhail; Startsev, Yulia
delete分享
delete收藏
DEBT 2025-Third Workshop on Future Debugging Techniques PrefaceDEBT 2025-未来调试技术第三届研讨会序言
deleteJournal of Object Technology
IF1.4
delete2026-01-01
delete0
PREAI
deleteOzkan, Burcu Kulahcioglu; Lauwaerts, Tom
delete分享
delete收藏
VeriFast's separation logic: a logic without laters for modular verification of fine-grained concurrent programsVeriFast的分离逻辑：一种无层级逻辑，用于细粒度并发程序的模块化验证
deleteJournal of Object Technology
IF1.4
delete2026-01-01
delete0
PREAI
deleteJacobs, Bart
delete分享
delete收藏