首页>外文期刊>计算机、自动化>ACM Transactions on Programming Languages and Systems

ACM Transactions on Programming Languages and Systems

ACM Transactions on Programming Languages and Systems

SCIEI

中文名称：ACM关于编程语言和系统的交易

ISSN：0164-0925
出版周期：Bimonthly

发文量：2

期刊论文

年度选择

2021
- 第1期
- 第2期
- 第3期
- 第4期
2020
- 第1期
- 第2期
- 第3期
- 第4期
2019
- 第1期
- 第2期
- 第3期
- 第4期
2018
- 第1期
- 第2期
- 第3期
- 第4期
2017
- 第1期
- 第3期
- 第4期
2016
- 第1期
- 第2期
- 第3期
- 第4期
2015
- 第1期
- 第2期
- 第3期
- 第4期
2014
- 第1期
- 第2期
- 第3期
- 第4期
2013
- 第1期
- 第2期
- 第3期
- 第4期
2012
- 第1期
- 第2期
- 第3期
- 第4期
2011
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2010
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2009
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2008
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2007
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2006
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2005
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2004
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2003
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2002
- 第1期
- 第6期
2001
- 第1期
- 第2期
- 第4期
- 第5期
- 第6期
2000
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
1999
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
1998
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期

更多>>

全选（0）

1.Syntactic Type Abstraction

机译：句法类型抽象
- 作者：Dan Grossman;Greg Morrisett;Steve Zdancewic
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2000年第6期
- Operational semantics;
- parametricity;
- proof techniques;
2.The Role of Commutativity in Constraint Propagation Algorithms

机译：可交换性在约束传播算法中的作用
- 作者：Krzysztof R. Apt
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2000年第6期
- Constraint propagation;
- generic algorithms;
- commutativity;
3.Extending Graham-Glanville Techniques for Optimal Code Generation

机译：扩展Graham-Glanville技术以获得最佳代码生成
- 作者：Maya Madhavan;Priti Shankar;Siddhartha Rai
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2000年第6期
- Optimal code generation;
- tree pattern matching;
- code-generator generator;
4.Optimal Choice of When to Garbage Collect

机译：何时收集垃圾的最佳选择
- 作者：Jacek Nicholas;Chiu Meng-Chieh;Marlin Benjamin M.;Moss J. Eliot B.
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2019年第1期
- Automatic storage management;
- garbage collection;
- optimal schedules;
5.Rethinking Incremental and Parallel Pointer Analysis

机译：重新考虑增量和并行指针分析
- 作者：Liu Bozhen;Huang Jeff;Rauchwerger Lawrence
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2019年第1期
- Incremental pointer analysis;
- parallelization;
- dynamic graph algorithms;
6.Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions

机译：具有符号泰勒展开数的浮点舍入误差的严格估计
- 作者：Solovyev Alexey;Baranowski Marek S.;Briggs Ian;Jacobsen Charles;Rakamaric Zvonimir;Gopalakrishnan Ganesh
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2019年第1期
7.Practical Subtyping for Curry-Style Languages

机译：咖喱风格语言的实用子类型化
- 作者：Lepigre Rodolphe;Raffalli Christophe
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2019年第1期
8.Adaptive Static Analysis via Learning with Bayesian Optimization

机译：通过贝叶斯优化学习进行自适应静态分析
- 作者：Heo Kihong;Oh Hakjoo;Yang Hongseok;Yi Kwangkeun
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2018年第4期
- Static program analysis;
- data-driven program analysis;
- Bayesian optimization;
9.Corrigendum to 'Cross-Language Interoperability in a Multi-Language Runtime', by Grimmer et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 2, Article No. 8

机译：Grimmer等人的“多语言运行时中的跨语言互操作性”勘误，《 ACM Transactions on Programming Languages and Systems（TOPLAS）Volume 40，Issue 2，Article No. 8》
- 作者：Grimmer;Mossenbock Hanspeter
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2018年第4期
10.Behavioural Equivalence via Modalities for Algebraic Effects

机译：通过模态的代数效应的行为对等
- 作者：Simpson Alex;Voorneveld Niels
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2020年第1期
- Program equivalence;
- functional programming;
- call-by-value;
- behavioural logic;
- modalities;
- algebraic effects;
- applicative bisimilarity;
- Howe's method;
11.A Theory of Slicing for Imperative Probabilistic Programs

机译：势在必行概率计划的切片理论
- 作者：Amtoft Torben;Banerjee Anindya
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2020年第2期
- Probabilistic programming;
- program slicing;
- probabilistic control-flow graphs;
12.Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy

机译：调试大规模数据记录：可扩展的出处评估策略
- 作者：Zhao David;Subotic Pavle;Scholz Bernhard
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2020年第2期
- Static analysis;
- datalog;
- provenance;
13.Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis

机译：概括的点 - 图：点分析的精确和可扩展抽象
- 作者：Gharat Pritam M.;Khedker Uday P.;Mycroft Alan
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2020年第2期
14.Symbolic Disintegration with a Variety of Base Measures

机译：符号崩解与各种基础措施
- 作者：Narayanan Praveen;Shan Chung-chieh
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2020年第2期
- Probabilistic programs;
- density functions;
- conditional distributions;
- measure kernels;
15.A Principled Approach to Selective Context Sensitivity for Pointer Analysis

机译：指针分析的选择性上下文敏感性的原则方法
- 作者：Li Yue;Tan Tian;Moller Anders;Smaragdakis Yannis
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2020年第2期
- Static analysis;
- points-to analysis;
- Java;
16.Corrigendum to 'Type-driven Gradual Security with References,' by Toro et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 4, Article No. 16

机译：Toro等人的勘误将“带有引用类型驱动的渐进安全性”，编程语言和系统（TOPLAS）第40卷的ACM交易，第4卷，第16条
- 作者：Toro
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2020年第2期
17.Non-polynomial Worst-Case Analysis of Recursive Programs

机译：递归程序的非多项式最坏情况分析
- 作者：KRISHNENDUCHATTERJEE;HONCFEI FU;AMIR KAFSHDAR GOHARSHADY
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2019年第4期
- Recursive programs;
- worst-case analysis;
18.On the Impact of Programming Languages on Code Quality: A Reproduction Study

机译：关于编程语言对代码质量的影响：复制研究
- 作者：EMERY D. BERGER;CELESTE HOLLENBECK;PETR MAJ;OLGA VITEK;JAN VITEK
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2019年第4期
- Programming Languages on Code Quality;
19.Environmental Bisimulations for Probabilistic Higher-order Languages

机译：概率高阶语言的环境分发
- 作者：DAVIDE SANGIORCI;VALERIAVIGNUDELLI
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2019年第4期
- Environmental bisimulation;
- probabilistic lambda calculus;
- contextual equivalence;
- imperative languages;
20.Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth

机译：具有恒定树木宽度的基本RSM中的动态代数查询的速度算法
- 作者：KRISHNENDU CHATTERJEE;AMIR KAFSHDAR GOHARSHADY;PRATEESH GOYAL;RASMUS IBSEN-JENSEN;ANDREAS PAVLOGIANNIS
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2019年第4期
21.Interprocedural Context-Unbounded Program Analysis Using Observation Sequences

机译：使用观察序列的移植内容无界面的程序分析
- 作者：Liu Peizun;Wahl Thomas;Reps Thomas
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2020年第4期
- Interprocedural analysis;
- context bound;
- concurrency;
- recursion;
- stack;
22.Chocola: Composable Concurrency Language

机译：Chocola：可协调的并发语言
- 作者：Swalens Janwillem;De Koster Joeri;De Meuter Wolfgang
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2020年第4期
- Futures;
- software transactional memory;
- actor model;
23.Active Learning for Inference and Regeneration of Applications that Access Databases

机译：主动学习访问数据库的应用推理和再生
- 作者：Shen Jiasi;Rinard Martin C.
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2020年第4期
- Active learning;
- program inference;
- program regeneration;
24.Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs

机译：基于依赖性的基于依赖性的切片的语义正确性，可能是非误解计划
- 作者：Masud Abu Naser;Lisper Bjorn
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2020年第4期
- Correctness of slicing;
- static slicing;
- semi-equivalence;
- simulation;
- bisimulation;
- nontermination;
- nondeterminism;
- interprocedural program;
25.An Effective Fusion and Tile Size Model for PolyMage

机译：一种有效的聚合物和瓷砖尺寸模型
- 作者：Jangda Abhinav;Bondhugula Uday
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2020年第3期
- Fusion;
- tiling;
- image processing pipelines;
- parallelism;
- locality;
26.Inferring Lower Runtime Bounds for Integer Programs

机译：推断整数程序的下运行时界限
- 作者：Frohn Florian;Naaf Matthias;Brockschmidt Marc;Giesl Juergen
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2020年第3期
- Integer programs;
- runtime complexity;
- lower bounds;
- automated complexity analysis;
27.Obsidian: Typestate and Assets for Safer Blockchain Programming

机译：黑曜石：更安全的BloctChain编程的Typestate和资产
- 作者：Coblenz Michael;Oei Reed;Etzel Tyler;Koronkevich Paulette;Baker Miles;Bloem Yannick;Myers Brad A.;Sunshine Joshua;Aldrich Jonathan
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2020年第3期
- Typestate;
- linearity;
- type systems;
- blockchain;
- smart contracts;
- permissions;
- alias control;
- ownership;
28.Type Inference for C: Applications to the Static Analysis of Incomplete Programs

机译：用于C的类型推断：应用于不完整程序的静态分析
- 作者：Melo Leandro T. C.;Ribeiro Rodrigo G.;Guimaraes Breno C. F.;Quintao Pereira Fernando Magno
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2020年第3期
- Partial programs;
- parsing;
- type inference;
- C language;
29.Robustly Safe Compilation, an Efficient Form of Secure Compilation

机译：强大的安全编译，有效的安全编译形式
- 作者：Patrignani Marco;Garg Deepak
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2021年第1期
- Secure compilation;
- robust safety;
- robustly-safe compilation;
- fully abstract compilation;
- formal languages;
- programming languages;
30.CSim~2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee

机译：CSIM〜2：使用依赖保证的并发系统的组成自验证
- 作者：Sanan David;Zhao Yongwang;Lin Shang-Wei;Yang Liu
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2021年第1期
31.A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust

机译：轻量级形式主义，用于参考生命和借用锈病
- 作者：Pearce David J.
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2021年第1期
- Rust;
- ownership;
- type theory;
- model checking;
32.Polymorphic Iterable Sequential Effect Systems

机译：多态性可迭代顺序效应系统
- 作者：Gordon Colin S.
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2021年第1期
- Type systems;
- effect systems;
- quantales;
- polymorphism;
33.Ranking and Repulsing Supermartingales for Reachability in Randomized Programs

机译：在随机计划中进行排名和排斥超级颗粒可达性
- 作者：Takisaka Toru;Oyabu Yuichiro;Urabe Natsuki;Hasuo Ichiro
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2021年第2期
- Randomized program;
- reachability;
- fixed point;
- martingale;
34.Armed Cats: Formal Concurrency Modelling at Arm

机译：武装猫：手臂正式并发建模
- 作者：Alglave Jade;Deacon Will;Grisenthwaite Richard;Hacquard Antoine;Maranget Luc
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2021年第2期
- Concurrency Weak memory models;
- arm architecture;
- linux;
- mixed-size accesses;
35.A Programming Language for Data Privacy with Accuracy Estimations

机译：具有准确估计的数据隐私的编程语言
- 作者：Lobo-Vesga Elisabet;Russo Alejandro;Gaboardi Marco
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2021年第2期
- Accuracy;
- concentration bounds;
- differential privacy;
- databases;
- Haskell;
36.On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings

机译：关于多态会话和功能：两个（全抽象）编码的故事
- 作者：Toninho Bernardo;Yoshida Nobuko
- 期刊名称：《ACM Transactions on Programming Languages and Systems》 | 2021年第2期
- Session types;
- pi-calculus;
- system F;
- linear logic;
- full abstraction;
37.Controlling generalization and polyvariance in partial deduction of normal logic programs

机译：Controlling generalization and polyvariance in partial deduction of normal logic programs
- 作者：Leuschel M.;De Schreye D.;Martens B.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第1期
38.Fast algorithms for compressed multimethod dispatch table generation

机译：Fast algorithms for compressed multimethod dispatch table generation
- 作者：Dujardin E.;Simon E.;Amiel E.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第1期
39.Specialization Slicing

机译：Specialization Slicing
- 作者：MIN AUNG;SUSAN HORWITZ;RICH JOINERTHOMAS REPS
- 期刊名称：《ACM transactions on programming languages and systems》 | 2014年第2期
40.Solving shape-analysis problems in languages with destructive updating

机译：Solving shape-analysis problems in languages with destructive updating
- 作者：Sagiv M.;Wilhelm R.;Reps T.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第1期
41.Partial evaluation of functional logic programs

机译：Partial evaluation of functional logic programs
- 作者：Alpuente M.;Vidal G.;Falaschi M.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第4期
42.Atomicity Refinement for Verified Compilation

机译：Atomicity Refinement for Verified Compilation
- 作者：SURESH JAGANNATHAN;VINCENT LAPORTE;GUSTAVO PETRIDAVID PICHARDIEJAN VITEK
- 期刊名称：《ACM transactions on programming languages and systems》 | 2014年第2期
43.A Widening Approach to Multithreaded Program Verification

机译：A Widening Approach to Multithreaded Program Verification
- 作者：Kaiser Alexander;Kroening Daniel;Wahl Thomas
- 期刊名称：《ACM transactions on programming languages and systems》 | 2014年第4期
- Verification;
- Algorithms;
- Multithreaded program verification;
- well-structured transition systems;
- coverability;
44.Divergence Analysis

机译：Divergence Analysis
- 作者：DIOGO SAMPAIO;RAFAEL MARTINS DE SOUZA;SYLVAIN COLLANGEFERNANDO MAGNO QUINTAO PEREIRA
- 期刊名称：《ACM transactions on programming languages and systems》 | 2013年第4期
- Static program analysis;
- divergence analysis;
- SIMD;
- graphics processing units;
- high performance;
45.Polymorphic splitting: An effective polyvariant flow analysis

机译：Polymorphic splitting: An effective polyvariant flow analysis
- 作者：Wright AK.;Jagannathan S.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第1期
46.Synthesis of concurrent systems with many similar processes

机译：Synthesis of concurrent systems with many similar processes
- 作者：Attie PC.;Emerson EA.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第1期
47.Reachability Analysis of Program Variables

机译：Reachability Analysis of Program Variables
- 作者：DURICA NIKOLIC;FAUSTO SPOTO
- 期刊名称：《ACM transactions on programming languages and systems》 | 2013年第4期
- Static analysis;
- constraint-based analysis;
- abstract interpretation;
- reachability analysis;
- pointer analysis;
- Java bytecode;
48.Automatic data layout for distributed-memory machines

机译：Automatic data layout for distributed-memory machines
- 作者：Kennedy K.;Kremer U.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第4期
- Algorithms;
- Languages;
- Theory;
- High performance fortran;
- Massively-parallel machines;
- Efficient programs;
- Simd-machines;
- Communication;
- Allocation;
49.Proofs about a folklore let-polymorphic type inference algorithm

机译：Proofs about a folklore let-polymorphic type inference algorithm
- 作者：Lee OS.;Yi KK.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第4期
- Algorithms;
- Languages;
- Theory;
- Type error;
- Type inference algorithm;
50.Compositional verification of concurrent systems using Petri-net-based condensation rules

机译：Compositional verification of concurrent systems using Petri-net-based condensation rules
- 作者：Juan EYT.;Murata T.;Tsai JJP.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第5期
- Algorithms;
- Experimentation;
- Reliability;
- Theory;
- Verification;
- Boundedness;
- Compositional verification;
- Deadlock states;
- Petri nets;
- Reachability analysis;
- Reachability graphs;
- Reachable markings;
- Deadlock;
- Abstraction;
- Equivalence;
- Reduction;
- Software;
- Algebra;
- Ada;
51.Kitsune: Efficient, General-Purpose Dynamic Software Updating for C

机译：Kitsune: Efficient, General-Purpose Dynamic Software Updating for C
- 作者：Hayden Christopher M.;Saur Karla;Smith Edward K.Hicks MichaelFoster Jeffrey S.
- 期刊名称：《ACM transactions on programming languages and systems》 | 2014年第4期
- Design;
- Languages;
- Dynamic software updating;
52.Global Sparse Analysis Framework

机译：Global Sparse Analysis Framework
- 作者：Oh Hakjoo;Heo Kihong;Lee WonchanLee WoosukPark DaejunKang JeehoonYi Kwangkeun
- 期刊名称：《ACM transactions on programming languages and systems》 | 2014年第3期
- Programming Languages;
- Program Analysis;
- Static analysis;
- abstract interpretation;
- sparse analysis;
53.A new, simpler linear-time dominators algorithm

机译：A new, simpler linear-time dominators algorithm
- 作者：Buchsbaum AL.;Rogers A.;Westbrook JR.Kaplan H.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第6期
- Compilers;
- Dominators;
- Flowgraphs;
- Microtrees;
- Path compression;
- Minimum spanning-trees;
- Disjoint set union;
- Dependence graph;
- Postorder;
54.Partial redundancy elimination in SSA form

机译：Partial redundancy elimination in SSA form
- 作者：Kennedy R.;Liu SM.;Lo R.Tu P.Chow F.Chan S.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1999年第3期
- Algorithms;
- Measurement;
- Theory;
- Partial redundancy;
- Code motion;
- Static single assignment form;
- Common subexpressions;
- Data flow analysis;
- Strength reduction;
- Optimization;
55.A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations

机译：A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
- 作者：Biernacki Dariusz;Danvy Olivier;Millikin Kevin
- 期刊名称：《ACM transactions on programming languages and systems》 | 2016年第1期
- Algorithms;
- Languages;
- Theory;
- Delimited continuations;
56.Alma-0: An imperative language that supports declarative programming

机译：Alma-0: An imperative language that supports declarative programming
- 作者：Apt KR.;Partington V.;Schaerf A.Brunekreef J.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第5期
- Languages;
- Declarative programming;
- Imperative programming;
- Search;
- Logic;
- Arrays;
- Prolog;
57.A task- and data-parallel programming language based on shared objects

机译：A task- and data-parallel programming language based on shared objects
- 作者：Ben Hassen S.;Jacobs CJH.;Bal HE.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第6期
- Data parallelism;
- Shared objects;
- Task parallelism;
- Distributed systems;
- High-level;
- Orca;
- Performance;
- Network;
- Myrinet;
58.'Maximal-munch' tokenization in linear time

机译："Maximal-munch" tokenization in linear time
- 作者：Reps T.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第2期
59.Static caching for incremental computation

机译：Static caching for incremental computation
- 作者：Liu YHA.;Teitelbaum T.;Stoller SD.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第3期
60.Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic

机译：Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic
- 作者：Dodds Mike;Jagannathan Suresh;Parkinson Matthew J.Svendsen KasperBirkedal Lars
- 期刊名称：《ACM transactions on programming languages and systems》 | 2016年第2期
- Languages;
- Theory;
- Verification;
- Separation logic;
- concurrent abstract predicates;
- concurrency;
61.Fast: A Transducer-Based Language for Tree Manipulation

机译：Fast: A Transducer-Based Language for Tree Manipulation
- 作者：DAntoni Loris;Veanes Margus;Livshits BenjaminMolnar David
- 期刊名称：《ACM transactions on programming languages and systems》 | 2016年第1期
- Algorithms;
- Languages;
- Verification;
- Symbolic tree transducers;
- FAST;
62.Conditioning in Probabilistic Programming

机译：Conditioning in Probabilistic Programming
- 作者：Olmedo Federico;Gretz Friedrich;Jansen NilsKaminski Benjamin LucienKatoen Joost-PieterMciver Annabelle
- 期刊名称：《ACM transactions on programming languages and systems》 | 2018年第1期
- Probabilistic programming;
- conditioning;
- weakest pre-condition semantics;
- operational semantics;
63.Editor's Foreword to ‘Static Backward Slicing of Non-Deterministic Programs and Systems’

机译：Editor's Foreword to ‘Static Backward Slicing of Non-Deterministic Programs and Systems’
- 作者：Myers Andrew
- 期刊名称：《ACM transactions on programming languages and systems》 | 2018年第3期
64.Probabilistic Relational Reasoning for Differential Privacy

机译：Probabilistic Relational Reasoning for Differential Privacy
- 作者：GILLES BARTHE;BORIS KOEPF;FEDERICO OLMEDOSANTIAGO ZANELLA-BEGUELIN
- 期刊名称：《ACM transactions on programming languages and systems》 | 2013年第3期
- Coq proof assistant;
- differential privacy;
- relational Hoare logic;
65.Equality-based flow analysis versus recursive types

机译：Equality-based flow analysis versus recursive types
- 作者：Palsberg J.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第6期
- Flow analysis;
- Type systems;
66.A logical model for relational abstract domains

机译：A logical model for relational abstract domains
- 作者：Giacobazzi R.;Scozzari F.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第5期
67.Isomorph-free model enumeration: A new method for checking relational specifications

机译：Isomorph-free model enumeration: A new method for checking relational specifications
- 作者：Jackson D.;Damon CA.;Jha S.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第2期
68.Lazy Scheduling: A Runtime Adaptive Scheduler for Declarative Parallelism

机译：Lazy Scheduling: A Runtime Adaptive Scheduler for Declarative Parallelism
- 作者：Tzannes Alexandros;Caragea George C.;Vishkin UziBarua Rajeev
- 期刊名称：《ACM transactions on programming languages and systems》 | 2014年第3期
- Algorithms;
- Performance;
- Languages;
- Work stealing;
- adaptive scheduling;
- load balancing;
- nested parallelism;
- task-parallel;
- fine-grained;
- declarative;
- performance portability;
69.Selective X-Sensitive Analysis Guided by Impact Pre-Analysis

机译：Selective X-Sensitive Analysis Guided by Impact Pre-Analysis
- 作者：Oh Hakjoo;Lee Wonchan;Heo KihongYang HongseokYi Kwangkeun
- 期刊名称：《ACM transactions on programming languages and systems》 | 2016年第2期
- Programming Languages;
- Program Analysis;
- Static analysis;
- context-sensitive analysis;
- abstract interpretation;
70.From system F to typed assembly language

机译：From system F to typed assembly language
- 作者：Morrisett G.;Crary K.;Glew N.Walker D.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1999年第3期
71.Compositional Programming

机译：Compositional Programming
- 作者：Zhang Weixin;Sun Yaozhu;Oliveira Bruno C. D. S.
- 期刊名称：《ACM transactions on programming languages and systems》 | 2021年第3期
- Expression problem;
- compositionality;
- traits;
72.Secure Compilation to Protected Module Architectures

机译：Secure Compilation to Protected Module Architectures
- 作者：Patrignani Marco;Agten Pieter;Strackx RaoulJacobs BartClarke DavePiessens Frank
- 期刊名称：《ACM transactions on programming languages and systems》 | 2015年第2期
73.Should your specification language be typed?

机译：Should your specification language be typed?
- 作者：Lamport L.;Paulson LC.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1999年第3期
- Verification;
- Set theory;
- Specification;
- Types;
- Set-theory;
74.Safe-by-default Concurrency for Modern Programming Languages

机译：Safe-by-default Concurrency for Modern Programming Languages
- 作者：Liu Lun;Millstein Todd;Musuvathi Madanlal
- 期刊名称：《ACM transactions on programming languages and systems》 | 2021年第3期
- Memory consistency models;
- sequential consistency;
- just-in-time compilers;
75.A new framework for elimination-based data flow analysis using DJ graphs

机译：A new framework for elimination-based data flow analysis using DJ graphs
- 作者：Sreedhar VC.;Lee YF.;Gao GR.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第2期
76.Verification of a Cryptographic Primitive: SHA-256

机译：Verification of a Cryptographic Primitive: SHA-256
- 作者：Appel Andrew W.
- 期刊名称：《ACM transactions on programming languages and systems》 | 2015年第2期
- Verification;
- Cryptography;
77.Reasoning about Grover's quantum search algorithm using probabilistic wp

机译：Reasoning about Grover's quantum search algorithm using probabilistic wp
- 作者：Butler M.;Hartel P.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1999年第3期
- Algorithms;
- Theory;
- Verification;
- Quantum computation;
- Quantum mechanics;
78.Constraint-Based Refactoring

机译：Constraint-Based Refactoring
- 作者：Steimann Friedrich
- 期刊名称：《ACM transactions on programming languages and systems》 | 2018年第1期
- Refactoring;
- constraint-based repair;
79.An abstract machine for tabled execution of fixed-order stratified logic programs

机译：An abstract machine for tabled execution of fixed-order stratified logic programs
- 作者：Sagonas K.;Swift T.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第3期
80.Efficient and flexible incremental parsing

机译：Efficient and flexible incremental parsing
- 作者：Wagner TA.;Graham SL.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第5期
- Algorithms;
- Languages;
- Performance;
- Theory;
- Abstract syntax;
- Ambiguity;
- Balanced structure;
- Incremental parsing;
- Operator precedence;
- Optimal reuse;
- Lr;
- Grammars;
- Parsers;
81.Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory

机译：Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory
- 作者：JADE ALGLAVE;LUC MARANGET;MICHAEL TAUTSCHNIG
- 期刊名称：《ACM transactions on programming languages and systems》 | 2014年第2期
82.Dynamic currency determination in optimized programs

机译：Dynamic currency determination in optimized programs
- 作者：Dhamdhere DM.;Sankaranarayanan KV.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第6期
83.Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components

机译：Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components
- 作者：Chatterjee Krishnendu;Ibsen-Jensen Rasmus;Goharshady Amir KafshdarPavlogiannis Andreas
- 期刊名称：《ACM transactions on programming languages and systems》 | 2018年第3期
- Concurrent systems;
- dataflow analysis;
- constant-treewidth graphs;
- algebraic path properties;
- shortest path;
84.Modular Termination Verification of Single-Threaded and Multithreaded Programs

机译：Modular Termination Verification of Single-Threaded and Multithreaded Programs
- 作者：Jacobs Bart;Bosnacki Dragan;Kuiper Ruurd
- 期刊名称：《ACM transactions on programming languages and systems》 | 2018年第3期
- Program termination;
- modular program verification module specifications;
- separation logic;
85.MCALIB: Measuring Sensitivity to Rounding Error with Monte Carlo Programming

机译：MCALIB: Measuring Sensitivity to Rounding Error with Monte Carlo Programming
- 作者：Frechtling Michael;Leong Philip H. W.
- 期刊名称：《ACM transactions on programming languages and systems》 | 2015年第2期
- Design;
- Reliability;
- Verification;
- Floating point arithmetic;
- dynamic error analysis;
- Monte Carlo arithmetic;
86.A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework

机译：A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework
- 作者：Kim Se-Won;Rival Xavier;Ryu Sukyoung
- 期刊名称：《ACM transactions on programming languages and systems》 | 2018年第3期
- Abstract interpretation;
- program analysis;
- analysis sensitivity;
- analysis framework;
87.Bit-Precise Procedure-Modular Termination Analysis

机译：Bit-Precise Procedure-Modular Termination Analysis
- 作者：Chen Hong-Yi;David Cristina;Kroening DanielSchrammel PeterWachter Bjoern
- 期刊名称：《ACM transactions on programming languages and systems》 | 2018年第1期
- Termination analysis;
- interprocedural analysis;
- bit-precise analysis;
- templates;
88.Specificational functions

机译：Specificational functions
- 作者：Morris JM.;Bunkenburg A.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1999年第3期
- Design;
- Theory;
- Verification;
- Expression;
- Function;
- Logic;
- Nondeterminacy;
- Refinement calculus;
89.A partially deadlock-free typed process calculus

机译：A partially deadlock-free typed process calculus
- 作者：Kobayashi N.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第2期
90.Verifying Reliability Properties Using the Hyperball Abstract Domain

机译：Verifying Reliability Properties Using the Hyperball Abstract Domain
- 作者：Lidman Jacob;Mckee Sally A.
- 期刊名称：《ACM transactions on programming languages and systems》 | 2018年第1期
- Reliability analysis;
- abstract interpretation;
- numerical abstraction;
- disjunctive refinement;
91.Analyzing Runtime and Size Complexity of Integer Programs

机译：Analyzing Runtime and Size Complexity of Integer Programs
- 作者：Brockschmidt Marc;Emmes Fabian;Falke StephanFuhs CarstenGiesl Jurgen
- 期刊名称：《ACM transactions on programming languages and systems》 | 2016年第4期
- Theory;
- Verification;
- Runtime complexity;
- automated complexity analysis;
- integer programs;
92.The design, implementation, and evaluation of Jade

机译：The design, implementation, and evaluation of Jade
- 作者：Rinard MC.;Lam MS.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第3期
93.The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations

机译：The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations
- 作者：Blackburn Stephen M.;Diwan Amer;Hauswirth MatthiasSweeney Peter F.Amaral Jose NelsonBrecht TimBulej LubomirClick CliffEeckhout LievenFischmeister SebastianFrampton DanielHendren Laurie J.Hind MichaelHosking Antony L.Jones Richard E.Kalibera TomasKeynes NathanNystrom NathanielZeller Andreas
- 期刊名称：《ACM transactions on programming languages and systems》 | 2016年第4期
94.A Fresh Look at Zones and Octagons

机译：A Fresh Look at Zones and Octagons
- 作者：Gange Graeme;Ma Zequn;Navas Jorge A.Schachte PeterSondergaard HaraldStuckey Peter J.
- 期刊名称：《ACM transactions on programming languages and systems》 | 2021年第3期
95.Foundations of Typestate-Oriented Programming

机译：Foundations of Typestate-Oriented Programming
- 作者：Garcia Ronald;Tanter Eric;Wolff RogerAldrich Jonathan
- 期刊名称：《ACM transactions on programming languages and systems》 | 2014年第4期
- Languages;
- Design;
- Reliability;
- Theory;
- Verification;
- Access permissions;
- gradual typing;
- types;
- typestates;
96.A Logical Approach to Deciding Semantic Subtyping

机译：A Logical Approach to Deciding Semantic Subtyping
- 作者：Gesbert Nils;Geneves Pierre;Layaida Nabil
- 期刊名称：《ACM transactions on programming languages and systems》 | 2016年第1期
- Algorithms;
- Design;
- Languages;
- Theory;
- Verification;
- Type-system;
- polymorphism;
- subtyping;
97.A region inference algorithm

机译：A region inference algorithm
- 作者：Tofte M.;Birkedal L.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第4期
- Algorithms;
- Reliability;
- Theory;
- Regions;
- Standards ml;
98.Introduction to the Special Section on ESOP 2020

机译：Introduction to the Special Section on ESOP 2020
- 作者：Mueller Peter
- 期刊名称：《ACM transactions on programming languages and systems》 | 2021年第4期
99.Finitary fairness

机译：Finitary fairness
- 作者：Alur R.;Henzinger TA.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第6期
- Distributed consensus;
- Fairness;
- Modeling of asynchronous systems;
- Program verification;
- Consensus;
- Automata;
100.Cost-optimal code motion

机译：Cost-optimal code motion
- 作者：Hailperin M.
- 期刊名称：《ACM transactions on programming languages and systems》 | 1998年第6期
- Code motion;
- Elimination of partial redundancies;
- Strength reduction;
- Algorithm;
- Optimization;
- Expressions;

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号