ヘルプ
ヘルプ

検索結果 191 件

CHAD: Combinatory Homomorphic Automatic Differentiation

CHAD: Combinatory Homomorphic Automatic Differentiation
デジタル記事
2022-08-17ACM Transactions on Programming Languages and Systems44 3p.1-49
全国の図書館
  • 掲載誌（ISSN）01640925

Bounded Verification of Multi-threaded Programs via Lazy Sequentialization

Bounded Verification of Multi-threaded Programs via Lazy Sequentialization
デジタル記事
2021-12-09ACM Transactions on Programming Languages and Systems44 1p.1-50
全国の図書館
  • 掲載誌（ISSN）01640925

RustHorn: CHC-based Verification for Rust Programs

RustHorn: CHC-based Verification for Rust Programs
デジタル記事
2021-10-31ACM Transactions on Programming Languages and Systems43 4p.1-54
インターネットで読める全国の図書館
  • 掲載誌（ISSN）01640925

Polymorphic Iterable Sequential Effect Systems

Polymorphic Iterable Sequential Effect Systems
デジタル記事
2021-03-31ACM Transactions on Programming Languages and Systems43 1p.1-79
全国の図書館
  • 掲載誌（ISSN）01640925

Modular Product Programs

Modular Product Programs
デジタル記事
2019-11-21ACM Transactions on Programming Languages and Systems42 1p.1-37
全国の図書館
  • 掲載誌（ISSN）01640925

Failure Recovery in Resilient X10

Failure Recovery in Resilient X10
デジタル記事
2019-07-02ACM Transactions on Programming Languages and Systems41 3p.1-30
全国の図書館
  • 掲載誌（ISSN）01640925

Type-Driven Gradual Security with References

Type-Driven Gradual Security with References
デジタル記事
2018-12-13ACM Transactions on Programming Languages and Systems40 4p.1-55
全国の図書館
  • 掲載誌（ISSN）01640925

Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions

Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions
デジタル記事
2018-12-11ACM Transactions on Programming Languages and Systems41 1p.1-39
全国の図書館
  • 掲載誌（ISSN）01640925

Transactional Sapphire

Transactional Sapphire
デジタル記事
2018-12-10ACM Transactions on Programming Languages and Systems40 4p.1-56
インターネットで読める全国の図書館
  • 掲載誌（ISSN）01640925

Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs

Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs
デジタル記事
2018-05-28ACM Transactions on Programming Languages and Systems40 2p.1-45
全国の図書館
  • 掲載誌（ISSN）01640925

Program Synthesis for Program Analysis

Program Synthesis for Program Analysis
デジタル記事
2018-05-28ACM Transactions on Programming Languages and Systems40 2p.1-45
全国の図書館
  • 掲載誌（ISSN）01640925

Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types

Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types
デジタル記事
2017-05-10ACM Transactions on Programming Languages and Systems39 3p.1-54
全国の図書館
  • 掲載誌（ISSN）01640925

Polymorphic Manifest Contracts, Revised and Resolved

Polymorphic Manifest Contracts, Revised and Resolved
デジタル記事
2017-02-06ACM Transactions on Programming Languages and Systems39 1p.1-36
全国の図書館
  • 掲載誌（ISSN）01640925

A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations

A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
デジタル記事
2015-10-16ACM Transactions on Programming Languages and Systems38 1p.1-25
全国の図書館
  • 掲載誌（ISSN）01640925

The Design and Implementation of a Verification Technique for GPU Kernels

The Design and Implementation of a Verification Technique for GPU Kernels
デジタル記事
2015-05-22ACM Transactions on Programming Languages and Systems37 3p.1-49
全国の図書館
  • 掲載誌（ISSN）01640925

MCALIB

MCALIB
デジタル記事
2015-04-16ACM Transactions on Programming Languages and Systems37 2p.1-25
全国の図書館
  • 掲載誌（ISSN）01640925

Foundations of Typestate-Oriented Programming

Foundations of Typestate-Oriented Programming
デジタル記事
2014-10-28ACM Transactions on Programming Languages and Systems36 4p.1-44
全国の図書館
  • 掲載誌（ISSN）01640925

Herding Cats

Herding Cats
デジタル記事
2014-07ACM Transactions on Programming Languages and Systems36 2p.1-74
全国の図書館
  • 掲載誌（ISSN）01640925

Probabilistic Relational Reasoning for Differential Privacy

Probabilistic Relational Reasoning for Differential Privacy
デジタル記事
2013-11ACM Transactions on Programming Languages and Systems35 3p.1-49
全国の図書館
  • 掲載誌（ISSN）01640925

ACM Transactions on Programming Languages and Systems

ACM Transactions on Programming Languages and Systems
紙雑誌
Association for Computing Machinery<Z54-A698>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •