Rethinking High-Level Code as the Primary Software Artifact
Public Deposited- Abstract
High-level programming languages have historically served as a practical compromise
between human cognitive limits and executable performance. They improved readability,
maintainability, and portability because humans were expected to remain the primary
long-term authors and maintainers of software artifacts.
This technical note argues that reliable agentic generation and regeneration may change
that optimum. If executable artifacts can be generated, repaired, translated, and re-optimized
by agents, then the long-lived persistent representation of software need not remain identical to
the human-facing representation. Humans may primarily control a semantic layer consisting of
requirements, invariants, tests, interfaces, and optimization objectives, while agents maintain
a lower-level persistent layer closer to compiler backends or hardware.
The note makes three limited contributions. First, it proposes a two-layer view of future
software systems: a human semantic layer and an agent-generated persistent layer. Second,
it states a minimal formal observation clarifying that conventional mediated execution
cannot outperform the cost-optimal native realization on fixed hardware under a standard
non-negative overhead model. Third, it offers a simple empirical illustration suggesting
why bypassing repeated dependence on high-level source frontends may matter in agentic
maintenance loops.
The goal is not to present a completed theory, but to mark a design direction: software
ecosystems in which semantic control remains human-centered while persistent executable
artifacts move downward toward machine-near representations maintained by agents
- Creator
- Academic Affiliation
- Last Modified
- 2026-04-30
- Resource Type
- Rights Statement
- Language
Relations
Items
| Thumbnail | Title | Date Uploaded | Visibility | Actions |
|---|---|---|---|---|
|
|
go_boldly___Technical_Note.pdf | 2026-04-30 | Public | Download |
|
requirements.txt | 2026-04-30 | Public | Download |
|
benchmark_llvm.py | 2026-04-30 | Public | Download |
|
benchmark_python.py | 2026-04-30 | Public | Download |
|
run_benchmark.sh | 2026-04-30 | Public | Download |
|
README.md | 2026-04-30 | Public | Download |
|
CITATION.cff | 2026-04-30 | Public | Download |
