• 充值
  • 帮助
搜期刊
主题
文献检索

Proceedings of the ACM on Programming Languages EI ESCI JCR:Q2
发文量 111
被引量 32
影响因子(2023) 0.167

  • 主办单位： ASSOC COMPUTING MACHINERY
  • 出版周期： 年3期
  • 创刊时间： 2017年
热门主题：

PROGRAMSSemanticsVerificationTypesLANGUAGESProgramProgrammingLogicTheoryAnalysisPropertiesType SystemsCompilersSYSTEMSSEPARATIONAbstractProblemPRESENTSpecificationLanguage

收录汇总 栏目浏览 期刊详情
收录汇总
出版文献
期刊详情
分析评价
目录
封面
2024年OOPSLA2期
共：4篇

      不详

    • Zhang, LinpengZilberstein, NoamKaminski, Benjamin LucienSilva, Alexandra

    • Craaijo, JosVerbeek, FreekRavindran, Binoy

    • Dias, AdhithaAnderson, LoganSundararajah, KirshanthanPelenitsyn, ArtemKulkarni, Milind

    • Halalingaiah, ShashinSundaresan, VijayMaier, DarylNandivada, V. Krishna

2024年OOPSLA2期

2024年OOPSLA2期

客服咨询
投稿相关：023-63416211
撤稿相关：023-67396862
查重相关：023-63506028
重庆维普资讯有限公司 渝B2-20050021-1 渝公网备 50019002500403
违法和不良信息举报中心   举报邮箱：jubao@cqvip.com   互联网算法推荐专项举报：sfjubao@cqvip.com    网络暴力专项举报: bljubao@cqvip.com
网络出版：（署）网出证（渝）字第014号    出版物经营许可证：新出发2018批字第006号