ACM Transactions on Programming Languages and Systems

短名ACM Trans. Program. Lang. Syst.
Journal Impact1.70
国际分区COMPUTER SCIENCE, SOFTWARE ENGINEERING(Q3)
期刊索引SCI Q4中科院 2 区
ISSN0164-0925, 1558-4593
h-index73
国内分区计算机科学(2区)计算机科学计算机软件工程(2区)

《ACM Transactions on Programming Languages and Systems》（TOPLAS）是编程语言领域最新研究成果的重要期刊，致力于支持编程任务的系统研究。该期刊接受理论性和实验性的论文，但无论是哪种类型，论文都必须包含创新和新颖的内容，以推动编程语言和系统的发展。我们还欢迎对现有方法进行严格比较的实验论文，以及教程和调查性论文。TOPLAS的研究范围包括但不限于以下主题：顺序和并行编程的语言设计、编程语言的实现、编程语言的语义、编译器和解释器、用于程序执行的存储分配和垃圾收集的运行时系统、用于编写程序规范的语言和方法、语言安全性、可靠的程序测试和程序验证的方法。

期刊主页投稿网址
涉及主题计算机科学程序设计语言数学操作系统理论计算机科学算法工程类哲学人工智能生物语言学并行计算认识论组合数学离散数学
出版信息出版商: Association for Computing Machinery (ACM)，出版周期: Bimonthly，期刊类型: journal，开源期刊: 否
基本数据创刊年份: 1979，原创研究文献占比: 100.00%，自引率:0.00%， Gold OA占比: 6.06%
平均审稿周期 网友分享经验：>12周，或约稿
平均录用比例网友分享经验：容易

期刊引文格式

这些示例是对学术期刊文章的引用，以及它们应该如何出现在您的参考文献中。

并非所有期刊都按卷和期组织其已发表的文章，因此这些字段是可选的。有些电子期刊不提供页面范围，而是列出文章标识符。在这种情况下，使用文章标识符而不是页面范围是安全的。

有 1 位以上作者的期刊

有 2 位作者的期刊

有 3 位作者的期刊

有 5 位以上作者的期刊

书籍引用格式

以下是创作和编辑的书籍的参考文献的示例。

学位论文引用格式

网页引用格式

这些示例是对网页的引用，以及它们应该如何出现在您的参考文献中。

专利引用格式

手工熬夜修改参考文献？研飞自动匹配期刊，一键轻松成稿，支持 Word/WPS

点击下方按钮，免费开启试用！

下载研飞

投稿经验分享

分享我的经验，帮你走得更远

正在阅读

A Practical Approach for Model Checking C/C++11 Code

一种实用的C/C++11代码模型检查方法

2016-5-2

Combinatorial Register Allocation and Instruction Scheduling

组合寄存器分配与指令调度

2019-7-2

The Byzantine Generals Problem

拜占庭将军问题

1982-7

Improving data locality with loop transformations

通过循环变换提高数据局部性

1996-7-1

Universal Composability is Robust Compilation

通用可组合性是鲁棒编译

2024-10-10

最新文章

Built withby Ivy Science
Copyright © 2020-2024
版权所有：南京青藤格致信息科技有限公司
隐私和监管政策
苏ICP备20040574号-1
ICP许可证: 苏B2-20220377