63 lines
2.2 KiB
BibTeX
63 lines
2.2 KiB
BibTeX
%% common/starship.bib — shared bibliography for all three formal volumes
|
|
%% SOURCE: docs/working/papers/SSRN_companion/Math_Companion_SSRN.tex (cite keys)
|
|
%% docs/patent/main.tex (patent reference)
|
|
%% TODO(bob): verify SSRN URL, DOI, and patent filing details
|
|
|
|
@article{james:2025:ssrn,
|
|
author = {James, Robert A.},
|
|
title = {Steady-State Convergence of an Adaptive Runtime Under
|
|
Physics-Inspired Feedback Control},
|
|
journal = {SSRN Electronic Journal},
|
|
year = {2025},
|
|
note = {Available at \url{papers/James_Steady-State_Convergence_Adaptive_Runtime.pdf}},
|
|
%% TODO(bob): add official SSRN URL / DOI when known
|
|
}
|
|
|
|
@misc{james:2025:patent,
|
|
author = {James, Robert A.},
|
|
title = {Physics-Driven Adaptive Runtime for {FORTH} Virtual Machines
|
|
({StarForth})},
|
|
howpublished = {Provisional Patent Application (USPTO)},
|
|
year = {2025},
|
|
note = {Patent pending. See \texttt{docs/patent/main.tex}.},
|
|
%% TODO(bob): add USPTO application number once assigned
|
|
}
|
|
|
|
@misc{james:2025:lithos,
|
|
author = {James, Robert A.},
|
|
title = {{LithosAnanke} v1.0.8: Bare-Metal {UEFI} Kernel for
|
|
{StarshipOS}},
|
|
howpublished = {Technical Report},
|
|
year = {2025},
|
|
note = {See \texttt{.claude/CLAUDE.md} for milestone status.},
|
|
%% TODO(bob): assign version tag / release date
|
|
}
|
|
|
|
@misc{james:2025:proof:base,
|
|
author = {James, Robert A.},
|
|
title = {{StarForth} Formal Proofs in {Isabelle/HOL}: Base Definitions},
|
|
howpublished = {Theory file \texttt{proof/StarForth\_Base.thy}},
|
|
year = {2025},
|
|
}
|
|
|
|
@misc{james:2025:proof:loop1,
|
|
author = {James, Robert A.},
|
|
title = {Execution Heat Tracking ({Loop~\#1})},
|
|
howpublished = {Theory file \texttt{proof/StarForth\_Loop1\_Heat.thy}},
|
|
year = {2025},
|
|
}
|
|
|
|
@misc{james:2025:proof:correctness,
|
|
author = {James, Robert A.},
|
|
title = {Overall Correctness of {StarForth} Adaptive Runtime},
|
|
howpublished = {Theory file \texttt{proof/StarForth\_Correctness.thy}},
|
|
year = {2025},
|
|
}
|
|
|
|
@misc{james:2025:proof:acl,
|
|
author = {James, Robert A.},
|
|
title = {Word-Level {ACL} Monotonicity and Safety},
|
|
howpublished = {Theory files \texttt{proof/ACL\_Pin\_Monotone.thy} et~al.},
|
|
year = {2025},
|
|
}
|