Copertina

Bounding Fixed Points of Non-Monotone Processes: Theory to Practice

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Rasheed, Abdullah H., Garg, Vijay K.
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Hal: A Language-General Framework for Analysis of User-Specified Monotone Frameworks [DRAFT]
di: Rasheed, Abdullah
Pubblicazione: (2024)

Static Analysis Under Non-Deterministic Program Assumptions
di: Rasheed, Abdullah H.
Pubblicazione: (2026)

Towards Fixed-Point Formats Determination for Faust Programs
di: Herrou, Agathe, et al.
Pubblicazione: (2024)

Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm
di: Foo, Yong Qi, et al.
Pubblicazione: (2025)

The ART of Sharing Points-to Analysis (Extended Abstract)
di: Halalingaiah, Shashin, et al.
Pubblicazione: (2024)

A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs
di: Amtoft, Torben, et al.
Pubblicazione: (2024)

Proceedings Twelfth Workshop on Fixed Points in Computer Science
di: Saurin, Alexis
Pubblicazione: (2025)

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
di: Redmond, Patrick, et al.
Pubblicazione: (2025)

PIP: Making Andersen's Points-to Analysis Sound and Practical for Incomplete C Programs
di: Krogstie, Håvard Rognebakke, et al.
Pubblicazione: (2025)

The Monotone Priority System: Foundations of Contract-Specific Sequencing
di: Durvasula, Naveen
Pubblicazione: (2026)

Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
di: Johnson, Keith J. C., et al.
Pubblicazione: (2024)

An Iris for Expected Cost Analysis
di: Lohse, Janine, et al.
Pubblicazione: (2024)

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
di: Batz, Kevin, et al.
Pubblicazione: (2024)

Computing Least Fixed Points with Overwrite Semantics in Parallel and Distributed Systems
di: Garg, Vijay K., et al.
Pubblicazione: (2026)

Automated Verification of Monotonic Data Structure Traversals in C
di: Sotoudeh, Matthew
Pubblicazione: (2025)

Extensional and Non-extensional Functions as Processes
di: Sakayori, Ken, et al.
Pubblicazione: (2024)

Step in Tine: Forking Processes in Functional Choreographies
di: Samuelson, Ashley, et al.
Pubblicazione: (2026)

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
di: Pham, Long, et al.
Pubblicazione: (2023)

Fixed Parameter Tractable Linearizability Monitoring
di: Han, Lee Zheng, et al.
Pubblicazione: (2025)

Synthesizing Backward Error Bounds, Backward
di: Zielinski, Laura, et al.
Pubblicazione: (2026)

Efficient Cost Bounds with Linear Maps
di: Kahn, David M, et al.
Pubblicazione: (2025)

AutoVeriFix+: High-Correctness RTL Generation via Trace-Aware Causal Fix and Semantic Redundancy Pruning
di: Tan, Yan, et al.
Pubblicazione: (2026)

Compositional security definitions for higher-order where declassification
di: Menz, Jan, et al.
Pubblicazione: (2026)

Verifying Sequential Consistency under Bounded Preemptions
di: Govind, R., et al.
Pubblicazione: (2026)

Lexicographic Ranking Supermartingales with Lazy Lower Bounds
di: Takisaka, Toru, et al.
Pubblicazione: (2023)

Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
di: Chaudhuri, Kaustuv, et al.
Pubblicazione: (2025)

Augmented Weak Distance for Fast and Accurate Bounds Checking
di: Fu, Zhoulai, et al.
Pubblicazione: (2025)

Decoupling Data Layouts from Bounding Volume Hierarchies
di: Gyurgyik, Christophe, et al.
Pubblicazione: (2025)

Simplification of Polyhedral Reductions in Practice
di: Narmour, Louis, et al.
Pubblicazione: (2024)

Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
di: Ma, Haoyang, et al.
Pubblicazione: (2025)

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
di: Nagar, Kartik, et al.
Pubblicazione: (2020)

Polynomial Invariant Generation for Floating-Point Programs
di: Cai, Xuran, et al.
Pubblicazione: (2025)

Practical Formal Verification for MLIR Programs
di: Tucker, Emily, et al.
Pubblicazione: (2026)

Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials
di: Lian, Qihao, et al.
Pubblicazione: (2025)

AutoChip: Automating HDL Generation Using LLM Feedback
di: Thakur, Shailja, et al.
Pubblicazione: (2023)

COBOLAssist: Analyzing and Fixing Compilation Errors for LLM-Powered COBOL Code Generation
di: Dau, Anh T. V., et al.
Pubblicazione: (2026)

Functional Programming in Learning Electromagnetic Theory
di: Walck, Scott N.
Pubblicazione: (2024)

Practical Refinement Session Type Inference (Extended Version)
di: Ueno, Toby, et al.
Pubblicazione: (2026)

Probabilistic Guarantees for Practical LIA Loop Invariant Automation
di: Kumar, Ashish, et al.
Pubblicazione: (2024)

Strided Difference Bound Matrices
di: Pitchanathan, Arjun, et al.
Pubblicazione: (2024)