Home › Entities › academia › Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs

Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs

Research article (Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016) · cited 75× · AI/ML
academia openalex:W2233431969
Press Enter · cited answer in seconds

Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs

Summary

Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs is a scholarly article[1].

Key Facts

  • Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs's instance of is recorded as scholarly article[2].

Related Entities

Krishnendu Chatterjee

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [2] ↑ . wikidata.org.

Class ancestry

  1. [1] ↑ . Wikidata. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. Retrieved May 24, 2026, from https://4ort.xyz/entity/algorithmic-analysis-of-qualitative-and-quantitative-termination-problems-for-affine-probabilistic-programs
MLA “Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs.” 4ort.xyz Knowledge Graph, 4ort.xyz, 24 May. 2026, https://4ort.xyz/entity/algorithmic-analysis-of-qualitative-and-quantitative-termination-problems-for-affine-probabilistic-programs.
BibTeX @misc{4ortxyz_algorithmic-analysis-of-qualitative-and-quantitative-termination-problems-for-affine-probabilistic-programs_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs}}, year = {2026}, url = {https://4ort.xyz/entity/algorithmic-analysis-of-qualitative-and-quantitative-termination-problems-for-affine-probabilistic-programs}, note = {Accessed: 2026-05-24}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs — https://4ort.xyz/entity/algorithmic-analysis-of-qualitative-and-quantitative-termination-problems-for-affine-probabilistic-programs (retrieved 2026-05-24)

Canonical URL: https://4ort.xyz/entity/algorithmic-analysis-of-qualitative-and-quantitative-termination-problems-for-affine-probabilistic-programs · Last refreshed: