ACM Transactions on Programming Languages and Systems
短名 | ACM Trans. Program. Lang. Syst. |
Journal Impact | 1.70 |
国际分区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING(Q3) |
期刊索引 | SCI Q4中科院 2 区 |
ISSN | 0164-0925, 1558-4593 |
h-index | 73 |
国内分区 | 计算机科学(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位以上作者的期刊
书籍引用格式
以下是创作和编辑的书籍的参考文献的示例。
学位论文引用格式
网页引用格式
这些示例是对网页的引用,以及它们应该如何出现在您的参考文献中。
专利引用格式
最新文章
Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms
2024-6-17
Limits and Difficulties in the Design of Under-Approximation Abstract Domains
2024-6-9
(De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms
2024-5-22
Homeostasis: Design and Implementation of a Self-Stabilizing Compiler
2024-5-1
Proving Correctness of Parallel Implementations of Transition System Models
2024-4-20
Interactive Abstract Interpretation with Demanded Summarization
2024-3-29
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
2024-3-29
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
2024-3-4
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation
2024-2-24
Choral: Object-oriented Choreographic Programming
2024-1-16
LoRe: A Programming Model for Verifiably Safe Local-First Software
2023-12-1
Focusing on Refinement Typing
2023-10-17
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications
2023-9-23
A Verified Optimizer for Quantum Circuits
2023-9-23
Capturing Types
2023-9-13
Exploiting Partially Context-sensitive Profiles to Improve Performance of Hot Code
2023-9-13
A Model Checker for Operator Precedence Languages
2023-8-2
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search
2023-8-2
Multiple Input Parsing and Lexical Analysis
2023-7-19
Side-channel Elimination via Partial Control-flow Linearization
2023-6-26
Passport: Improving Automated Formal Verification Using Identifiers
2023-6-26
Optimization-Aware Compiler-Level Event Profiling
2023-6-26
Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC
2023-6-26
Contextual Linear Types for Differential Privacy
2023-5-17
A First-order Logic with Frames
2023-5-15
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq
2023-5-4
A Derivative-based Parser Generator for Visibly Pushdown Grammars
2023-4-8
Omnisemantics: Smooth Handling of Nondeterminism
2023-3-8
Typed–Untyped Interactions: A Comparative Analysis
2023-3-5
Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models
2023-3-3
Towards Porting Operating Systems with Program Synthesis
2023-3-3
The Tortoise and the Hare Algorithm for Finite Lists, Compositionally
2023-3-3
Immutability and Encapsulation for Sound OO Information Flow Control
2023-3-3
A Relational Program Logic with Data Abstraction and Dynamic Framing
2022-12-31
Immutability and Encapsulation for Sound OO Information Flow Control
2022-12-2
The Tortoise and the Hare Algorithm for Finite Lists, Compositionally
2022-9-26
Deep Dive into ZGC: A Modern Garbage Collector in OpenJDK
2022-9-21
Two Parametricities Versus Three Universal Types
2022-9-21
CHAD: Combinatory Homomorphic Automatic Differentiation
2022-8-17
A Type Discipline for Message Passing Parallel Programs
2022-8-10
Revisiting Iso-Recursive Subtyping
2022-7-25
Runtime Complexity Bounds Using Squeezers
2022-7-15
Nested Session Types
2022-7-15
Introduction to the Special Issue on ESOP 2021
2022-7-15
Strong-separation Logic
2022-7-15
Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types
2022-7-15
Solving Program Sketches with Large Integer Values
2022-6-30
Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility
2022-5-27
Fast Graph Simplification for Interleaved-Dyck Reachability
2022-5-27
TF-Coder: Program Synthesis for Tensor Manipulations
2022-5-27
帮你贴心管理全部的文献
研飞ivySCI,高效的论文管理
投稿经验分享
分享我的经验,帮你走得更远