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

文献信息

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

美国
投稿预审
ACM Transactions on Programming Languages and Systems (TOPLAS) 中科院2区 JCR:Q3 SCIE EI JST
发文量 1,309
被引量 83,274
影响因子(2025版) 0.771

ACM Transactions on Programming Languages and Systems (TOPLAS) is the premier journal for reporting recent research advances in the areas of programming languages, and systems to assist the task of programming. Papers can be either theoretical or experimental in style, but in either case, they must contain innovative and novel content that advances the state of the art of programming languages and systems. We also invite strictly experimental papers that compare existing approaches, as well as tutorial and survey papers. The scope of TOPLAS includes, but is not limited to, the following subjects: language design for sequential and parallel programming programming language implementation programming language semantics compilers and interpreters runtime systems for program execution storage allocation and garbage collection languages and methods for writing program specifications languages and methods for secure and reliable programs testing and verification of programs

  • 主办单位： ASSOC COMPUTING MACHINERY
  • 出版地区： NEW YORK
  • 出版周期： 季刊
  • 别名： TOPLAS;ACM T PROGR LANG SYS;ACM Trans. Program. Lang. Syst.;ACM Transactions on Programming Languages & Systems;ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS;ACM Transactions on Programming Languages and Systems;美国计算机学会编程语言与系统汇刊
  • 国际标准连续出版物号/电子版： ISSN 0164-0925 / EISSN 1558-4593
  • 创刊时间： 1979年
  • 曾用名： ACM letters on programming languages and systems
热门主题：

Programming LanguagesType SystemStatic AnalysisType InferenceGarbage CollectionData StructuresInterprocedural AnalysisDataflow AnalysisFunctional ProgrammingProgram VerificationRegister AllocationCompilerFlow AnalysisControl FlowProgram OptimizationTemporal LogicCode GenerationData Flow AnalysisOriginal ProgramModel Checking

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

2025年2期

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