Copertina

Omega: The Power of Visual Simplicity

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Sonntag, Benoit, Colnet, Dominique
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

RIP Linked List
di: Sonntag, Benoît, et al.
Pubblicazione: (2023)

Counting and Sampling Traces in Regular Languages
di: de Colnet, Alexis, et al.
Pubblicazione: (2025)

Simplicity Scales
di: Sampson, Andrew, et al.
Pubblicazione: (2026)

Towards Computational UIP in Cubical Agda
di: Tan, Yee-Jian, et al.
Pubblicazione: (2025)

On the Semantic Expressiveness of Iso- and Equi-Recursive Types
di: Devriese, Dominique, et al.
Pubblicazione: (2020)

On Quantum Programming Languages
di: Valiron, Benoît
Pubblicazione: (2024)

Mixing Visual and Textual Code
di: Andersen, Leif, et al.
Pubblicazione: (2026)

Large Language Model Powered Symbolic Execution
di: Li, Yihe, et al.
Pubblicazione: (2025)

Cerisier: A Program Logic for Attestation in a Capability Machine
di: Rousseau, June, et al.
Pubblicazione: (2026)

Quantitative Verification of Omega-regular Properties in Probabilistic Programming
di: Wang, Peixin, et al.
Pubblicazione: (2025)

PolyDebug: A Framework for Polyglot Debugging
di: Houdaille, Philémon, et al.
Pubblicazione: (2025)

Towards LLM-Powered Verilog RTL Assistant: Self-Verification and Self-Correction
di: Huang, Hanxian, et al.
Pubblicazione: (2024)

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
di: Huyghebaert, Sander, et al.
Pubblicazione: (2023)

Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits
di: Ricciardi, Jérome, et al.
Pubblicazione: (2025)

DeliverC: Teaching Pointers through GenAI-Powered Game-Based Learning
di: Petula, Wyatt, et al.
Pubblicazione: (2025)

Visualizing miniKanren Search with a Fine-Grained Small-Step Semantics
di: Pfingsten, Brysen, et al.
Pubblicazione: (2025)

Unlocking the Power of Environment Assumptions for Unit Proofs
di: Priya, Siddharth, et al.
Pubblicazione: (2024)

Open-Source AI-Powered Optimization in Scalene: Advancing Python Performance Profiling with DeepSeek-R1 and LLaMA 3.2
di: Hasan, Saem, et al.
Pubblicazione: (2025)

Preserving Power Optimizations Across the High Level Synthesis of Distinct Application-Specific Circuits
di: Garcia, Paulo
Pubblicazione: (2024)

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
di: Zhang, Bowen, et al.
Pubblicazione: (2024)

ViCAR: Visualizing Categories with Automated Rewriting in Coq
di: Shah, Bhakti, et al.
Pubblicazione: (2024)

Piloting Copilot, Codex, and StarCoder2: Hot Temperature, Cold Prompts, or Black Magic?
di: Döderlein, Jean-Baptiste, et al.
Pubblicazione: (2022)

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

Visualizing the Evaluation of Functional Programs for Debugging
di: Whitington, John, et al.
Pubblicazione: (2024)

Expressive Power of One-Shot Control Operators and Coroutines
di: Kobayashi, Kentaro, et al.
Pubblicazione: (2025)

CodeContests-O: Powering LLMs via Feedback-Driven Iterative Test Case Generation
di: Cai, Jianfeng, et al.
Pubblicazione: (2026)

Benchmarking LLM Code Generation for Audio Programming with Visual Dataflow Languages
di: Zhang, William, et al.
Pubblicazione: (2024)

VisCoder2: Building Multi-Language Visualization Coding Agents
di: Ni, Yuansheng, et al.
Pubblicazione: (2025)

Current Practices for Building LLM-Powered Reasoning Tools Are Ad Hoc -- and We Can Do Better
di: Bembenek, Aaron
Pubblicazione: (2025)

GeckoGraph: A Visual Language for Polymorphic Types
di: Fu, Shuai, et al.
Pubblicazione: (2024)

Neural Task Synthesis for Visual Programming
di: Pădurean, Victor-Alexandru, et al.
Pubblicazione: (2023)

Dual-Language General-Purpose Self-Hosted Visual Language and new Textual Programming Language for Applications
di: Fayed, Mahmoud Samir
Pubblicazione: (2025)

Brainformers: Trading Simplicity for Efficiency
di: Zhou, Yanqi, et al.
Pubblicazione: (2023)

OBsmith: LLM-Powered JavaScript Obfuscator Testing
di: Jiang, Shan, et al.
Pubblicazione: (2025)

Finite-State Automaton To/From Regular Expression Visualization
di: Morazán, Marco T., et al.
Pubblicazione: (2024)

A Declarative Language for Building And Orchestrating LLM-Powered Agent Workflows
di: Daunis, Ivan
Pubblicazione: (2025)

Omega-Regular Robustness
di: Fisman, Dana, et al.
Pubblicazione: (2025)

The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages
di: Chen, Boqi, et al.
Pubblicazione: (2024)

Visual Execution and Validation of Finite-State Machines and Pushdown Automata
di: Morazán, Marco T., et al.
Pubblicazione: (2025)

The Power of Negation in Higher-Order Datalog
di: Charalambidis, Angelos, et al.
Pubblicazione: (2025)