Copertina

SSA without Dominance for Higher-Order Programs

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autori principali:	Leißa, Roland, Griebler, Johannes
Natura:	Recurso digital
Pubblicazione:	Zenodo 2026
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

SSA without Dominance for Higher-Order Programs
di: Leißa, Roland, et al.
Pubblicazione: (2026)

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
di: Leißa, Roland, et al.
Pubblicazione: (2024)

Higher-Order Stochastic Dominance Constraints in Optimization
di: Lakshmanan, Rajmadan, et al.
Pubblicazione: (2025)

Interventional Cooperative Agreement Program (SSA)
Pubblicazione: (2024)

StochasticDominance.jl: A Julia Package for Higher Order Stochastic Dominance
di: Lakshmanan, Rajmadan, et al.
Pubblicazione: (2025)

Novas tecnologias, novas mídias, velhas dificuldades: aprimorando a interface com o usuário para a escolha de base de dados ou periódicos
di: Ana Cristina de Freitas Griebler
Pubblicazione: (2007)

A Higher-Order Multiscale Method for the Wave Equation
di: Krumbiegel, Felix, et al.
Pubblicazione: (2023)

PySSA
di: Kullik, Hannah, et al.
Pubblicazione: (2026)

PySSA
di: Kullik, Hannah, et al.
Pubblicazione: (2025)

Bialgebraic Reasoning on Higher-Order Program Equivalence
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting (Full Version)
di: Niederhauser, Johannes, et al.
Pubblicazione: (2025)

Unification of Deterministic Higher-Order Patterns (Full Version)
di: Niederhauser, Johannes, et al.
Pubblicazione: (2026)

Nace SSA México
di: Rodríguez, G
Pubblicazione: (2003)

The Denotational Semantics of SSA
di: Ghalayini, Jad Elkhaleq, et al.
Pubblicazione: (2024)

PRESENCIAL, REMOTE AND BLENDED CLASSES: WHAT DO STUDENT THINK?
di: Griebler, Gustavo, et al.
Pubblicazione: (2023)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
di: Haselwarter, Philipp G., et al.
Pubblicazione: (2024)

Expectation-based Analysis of Higher-Order Quantum Programs
di: Avanzini, Martin, et al.
Pubblicazione: (2025)

The Stable Model Semantics for Higher-Order Logic Programming
di: Bogaerts, Bart, et al.
Pubblicazione: (2024)

A Generalized Framework for Higher-Order Localized Orthogonal Decomposition Methods
di: Hauck, Moritz, et al.
Pubblicazione: (2025)

Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
di: Charalambidis, Angelos, et al.
Pubblicazione: (2026)

Functional Program Synthesis with Higher-Order Functions and Recursion Schemes
di: Fernandes, Matheus Campos
Pubblicazione: (2025)

Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
di: Nicola, Mihai, et al.
Pubblicazione: (2024)

Revealing Higher-Order Interactions in Complex Networks: A U.S. Diplomacy Case Study
di: Rondeau, Arthur, et al.
Pubblicazione: (2025)

Higher Order Automatic Differentiation of Higher Order Functions
di: Huot, Mathieu, et al.
Pubblicazione: (2021)

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
di: Ciccalè, Marco, et al.
Pubblicazione: (2025)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
di: Li, Kwing Hei, et al.
Pubblicazione: (2025)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
di: Young, David, et al.
Pubblicazione: (2024)

JWTurn/caribou_WBI_iSSA
di: Julie Turner
Pubblicazione: (2025)

Revisiting Small‐Scale Aquaculture ( SSA )
di: Liliana Sierra Castillo, et al.
Pubblicazione: (2025)

LOG.io: Unified Rollback Recovery and Data Lineage Capture for Distributed Data Pipelines
di: Simon, Eric, et al.
Pubblicazione: (2025)

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)
di: Niederhauser, Johannes, et al.
Pubblicazione: (2024)

Artifact for paper: Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
di: Nicola, Mihai, et al.
Pubblicazione: (2025)

A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
di: Watanabe, Kazuki, et al.
Pubblicazione: (2025)

Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
di: Foo, Darius, et al.
Pubblicazione: (2023)

An experimental evaluation of choices of SSA forecasting parameters
di: Knapik, Teodor, et al.
Pubblicazione: (2024)

Verifying Peephole Rewriting In SSA Compiler IRs
di: Bhat, Siddharth, et al.
Pubblicazione: (2024)

Higher-Order Components Dictate Higher-Order Contagion Dynamics in Hypergraphs
di: Kim, Jung-Ho, et al.
Pubblicazione: (2022)

Higher-Order Responsibility
di: Jiang, Junli, et al.
Pubblicazione: (2025)

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
di: Aguirre, Alejandro, et al.
Pubblicazione: (2024)

SSA: Improving Performance With a Better Scoring Function
di: Naim, Omar, et al.
Pubblicazione: (2025)