Conceptio
›
programming-languages
Topic
programming-languages
Knowledge-graph topic
· documents ABOUT programming-languages across the archive
229
Documents about programming-languages
Documents about programming-languages
Symbolic Basic Block Profiling for Machine Learning Kernels
#659168
arXiv (All)
Griotte: Verified Compartmentalisation via Capabilities
#821084
arXiv (All)
Synthesis of Compact and Expressive Quantum-Circuit Optimizations
#822190
arXiv (All)
A monadic interpreter and type-and-effect checker
#984574
arXiv (All)
UnsafeChecker: Finding Soundness Bugs in Rust Safe Abstractions
#987976
arXiv (All)
URIUM: A Programming Language for a Practical Open Course on Compiler Design
#783365
arXiv (OAI Expanded)
URIUM: A Programming Language for a Practical Open Course on Compiler Design
#784955
arXiv (All)
When Do Staging Annotations Preserve Semantics? Mechanizing Typed Semantics-Preserving Multi-stage Programming with Let-Insertion (Extended Version)
#650918
arXiv (OAI Expanded)
When Do Staging Annotations Preserve Semantics? Mechanizing Typed Semantics-Preserving Multi-stage Programming with Let-Insertion (Extended Version)
#652371
arXiv (All)
Agnostics: Learning to Code in Any Programming Language via Reinforcement with a Universal Learning Environment
#797215
arXiv (OAI Expanded)
Agnostics: Learning to Code in Any Programming Language via Reinforcement with a Universal Learning Environment
#798628
arXiv (All)
RefineStat: Efficient Exploration for Probabilistic Program Synthesis
#153125
arXiv (OAI)
Annotating and Auditing the Safety Properties of Unsafe Rust
#173280
arXiv (OAI)
Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation
#173327
arXiv (OAI)
Internalized Truth in Reflective Grounded Arithmetic
#618874
arXiv (OAI Expanded)
Mechanizing Choreographic Programs and Hoare Logic with State Transformers
#619067
arXiv (OAI Expanded)
Internalized Truth in Reflective Grounded Arithmetic
#620553
arXiv (All)
Mechanizing Choreographic Programs and Hoare Logic with State Transformers
#620746
arXiv (All)
Quantisation of Abstract Data Types
#926664
arXiv (All)
MaxKernel: Agentic Kernel Generation for TPUs
#927807
arXiv (All)
Compiling Linear Datalog to SQL for Program Analysis
#973886
arXiv (All)
SparseConflicts: Handling Conflicting Data Layouts in Sparse Tensor Contractions
#973909
arXiv (All)
Confluence of conditional rewriting modulo
#984040
arXiv (All)
Erased Postulates, Identity Types and Quotients
#985919
arXiv (All)
A Taxonomy of Programming Languages for Code Generation
#1013188
arXiv (All)
Certified Panic Mode: Repair-Invariant Error Recovery for Maximal-Munch Lexing
#1013210
arXiv (All)
Splyce: SIMD Vectorization of Sparse Coiteration
#1014004
arXiv (All)
Java for dummies
#248261
Open Library
Are there minimum criteria for a programming language being Turing complete?
#796563
Stack Exchange
Certified Split Points for Parallel Lexing: Exact and Modulo Discarded Tokens
#1013202
arXiv (All)
Efficient Symbolic Execution of Software under Fault Attacks
#163107
arXiv (OAI)
Memory Allocation for Constant-Bounded Programs
#609634
arXiv (All)
An Extensive Empirical Study on Code Translation Technique
#657189
arXiv (OAI Expanded)
An Extensive Empirical Study on Code Translation Technique
#659325
arXiv (All)
Cambria: Resource Abstraction for Parametrized Algebraic Effects and Handlers
#779714
arXiv (OAI Expanded)
Cambria: Resource Abstraction for Parametrized Algebraic Effects and Handlers
#781089
arXiv (All)
Accurate Residues for Floating-Point Debugging
#820412
arXiv (All)
Towards a universal language of concepts: A survey
#927811
arXiv (All)
Augur: Predicting View Serializability Violations in Relational Data Store Applications
#972224
arXiv (All)
LLVM Translation Validation Automated with Large Language Models and Lean
#1014173
arXiv (All)
Metamorphic Testing for Floating-Point Performance Issues in SMT Solvers
#1014323
arXiv (All)
A methodology to perform cross-ecosystems case-control security studies
#381290
Springer Nature OA
On the Effectiveness of Large Language Models in Writing Alloy Formulas
#609768
arXiv (All)
Certified Split Windows for Parallel Lexing: Recovering Boundaries Where No Byte Certifies
#1013203
arXiv (All)
GEMMA: a meta-model for multilevel modeling and simulation
#483874
Springer Nature OA
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
#144320
arXiv (OAI)
InSPECtor: Improving SLEIGH Processor Specification Veracity via Proxy
#614239
arXiv (OAI Expanded)
InSPECtor: Improving SLEIGH Processor Specification Veracity via Proxy
#615206
arXiv (All)
Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
#628037
arXiv (OAI Expanded)
Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
#629899
arXiv (All)
← Previous
Page 2 of 6
Next →
Topic record
· derived from the Conceptio knowledge graph (shared subject terms across the corpus)
Conceptio Open Knowledge Archive — topic hubs link to canonical document pages with full provenance.