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
Compiling WebAssembly Concolic Execution with Staging, Continuations, and Snapshots (Extended Version)
#656754
arXiv (OAI Expanded)
Compiling WebAssembly Concolic Execution with Staging, Continuations, and Snapshots (Extended Version)
#658890
arXiv (All)
When Types Intersect and Effects Get Handled
#668562
arXiv (OAI Expanded)
When Types Intersect and Effects Get Handled
#670627
arXiv (All)
A Dynamic Intermediate Representation for Hybrid Quantum-Classical Programs
#821025
arXiv (All)
Unifying Function- and Argument-First Bidirectional Type Systems
#822413
arXiv (All)
Where the LLM Ends and Reliable Decisions Begin
#1014137
arXiv (All)
Security issues in python open-source software: a mining study from GitHub
#306101
Springer Nature OA
QCP: A Practical Separation Logic-based C Program Verification Tool
#163128
arXiv (OAI)
Automatically Generating ML Compiler Backends from Tensor Accelerator ISA Descriptions
#627981
arXiv (OAI Expanded)
Automatically Generating ML Compiler Backends from Tensor Accelerator ISA Descriptions
#629843
arXiv (All)
Formal program verification in practice
#796547
Stack Exchange
A Compilation Framework for Quantum Simulation of Non-unitary Dynamics
#927321
arXiv (All)
You may implement this later: Cofunctors as partial implementations
#974578
arXiv (All)
Foundations for SCALA : semantics and proof of virtual types
#401910
DataCite
Inferring Relations from Relations
#447061
Springer Nature OA
Predicting Program Exit Code with LLMs and Programming Language Semantics
#820014
arXiv (All)
Formal modelling and verifying eIDAS multi-factor authentication with interface-based threat analysis
#196256
Springer Nature OA
A conceptual model and supporting approach for EU taxonomy alignment with green BPM
#1002126
Springer Nature OA
On the Cohesion of Hub-like microservices
#648537
Springer Nature OA
ChipSeek: Optimizing Verilog Generation via EDA-Integrated Reinforcement Learning
#131352
arXiv (OAI)
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
#146971
arXiv (OAI)
A Practical Quantum Hoare Logic with Classical Variables, I
#153018
arXiv (OAI)
igraph 1.0 enables fast and robust network analysis across programming languages.
#430998
NCBI PubMed Central
The Specification Paradox: Rethinking Requirements Engineering in the Age of AI
#622919
arXiv (OAI Expanded)
The Specification Paradox: Rethinking Requirements Engineering in the Age of AI
#625192
arXiv (All)
Type-Directed, Secure-by-Construction Enclave Partitioning for LLVM
#822455
arXiv (All)
KnowTeX: Visualizing Mathematical Dependencies
#973040
arXiv (All)
Expressive power of one-shot control operators and coroutines
#974020
arXiv (All)
Ceci n'est pas une pipe: AI systems as semantic abstractions
#998292
arXiv (All)
Behavioral Analysis of Timed Actors using Syntactic Slice Equivalence
#1011555
arXiv (All)
Discourse-Driven Decomposition of Diagrammatic Representations
#447059
Springer Nature OA
KEM-IND-CCA-Preserving Compilation of Jasmin's ML-KEM
#611397
arXiv (OAI Expanded)
KEM-IND-CCA-Preserving Compilation of Jasmin's ML-KEM
#612874
arXiv (All)
On the Termination Problem for Probabilistic Higher-Order Recursive Programs
#633159
arXiv (OAI Expanded)
Sound Enforcement of Dynamic Release Information Flow Policy-Full Version
#633624
arXiv (OAI Expanded)
On the Termination Problem for Probabilistic Higher-Order Recursive Programs
#635508
arXiv (All)
Sound Enforcement of Dynamic Release Information Flow Policy-Full Version
#635973
arXiv (All)
ALT4Decompile: Inferring C-aligned Abstract Loop Tree for LLM-Based Binary Decompilation
#668316
arXiv (OAI Expanded)
Attributing Structured-Output Gains in Function Calling: Interface Alignment versus Procedural Transfer
#668601
arXiv (OAI Expanded)
ALT4Decompile: Inferring C-aligned Abstract Loop Tree for LLM-Based Binary Decompilation
#670381
arXiv (All)
Attributing Structured-Output Gains in Function Calling: Interface Alignment versus Procedural Transfer
#670666
arXiv (All)
M2K: Making the Model-Kernel Interface Explicit for Reliable CUDA Kernel Verification
#789608
arXiv (OAI Expanded)
From C to Idiomatic Rust: A Ship-of-Theseus Agentic Translation
#789805
arXiv (OAI Expanded)
M2K: Making the Model-Kernel Interface Explicit for Reliable CUDA Kernel Verification
#793612
arXiv (All)
From C to Idiomatic Rust: A Ship-of-Theseus Agentic Translation
#793810
arXiv (All)
LLMs versus the Halting Problem: Characterizing Program Termination Reasoning
#797328
arXiv (OAI Expanded)
Skill-as-Pseudocode: Refactoring Skill Libraries to Pseudocode for LLM Agents
#797505
arXiv (OAI Expanded)
LLMs versus the Halting Problem: Characterizing Program Termination Reasoning
#798742
arXiv (All)
Skill-as-Pseudocode: Refactoring Skill Libraries to Pseudocode for LLM Agents
#798919
arXiv (All)
← Previous
Page 3 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.