• 充值
  • 会员
  • 职称材料
搜期刊
刊名

文献信息

  • 任意字段
  • 主题词
  • 篇关摘
  • 篇名
  • 关键词
  • 摘要
  • 作者
  • 第一作者
  • 作者单位
  • 刊名
  • 中图分类号
  • 学科分类号
  • DOI
  • 基金
文献检索

美国
投稿预审
Proceedings of the ACM on Programming Languages 中科院1区 JCR:Q2 ESCI EI PubMed JST
发文量 2,466
被引量 38,634
影响因子(2025版) 1.712

  • 主办单位： ASSOC COMPUTING MACHINERY
  • 出版地区： NEW YORK
  • 出版周期： 年3期
  • 别名： P ACM PROGRAM LANG;P. ACM Program. Lang.;PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
  • 创刊时间： 2017年
热门主题：

微积分学程序逻辑数据结构类型系统静态检测函数式编程类型理论类型推导Lambda演算符号化执行汇编本编译器静力学程序设计人员汽车检测线分布式系统概率编程源程序验证形式化校验APL语言语义学

收录汇总 栏目浏览 期刊详情
收录汇总
出版文献
期刊详情
新发布(2025版)
分析评价
目录
封面
2018年OOPSLA期
共：166篇
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 9
2018年OOPSLA期

2018年OOPSLA期

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