Gardado en:
Detalles Bibliográficos
Autor Principal: Hirst, Oliver C.
Formato: Recurso digital
Idioma:
Publicado: Zenodo 2025
Subjects:
Acceso en liña:https://doi.org/10.5281/zenodo.19084104
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
_version_ 1866901508072669184
author Hirst, Oliver C.
author_facet Hirst, Oliver C.
contents The complete, language-agnostic reference implementation for GödelOS v0. Formalises the execution semantics, system constructor, update loop, state transition rules, module contracts, and stopping conditions. Self-contained and sufficient to implement GödelOS in any language without referencing external documents.
format Recurso digital
id zenodo_https___doi_org_10_5281_zenodo_19084104
institution Zenodo
language
publishDate 2025
publisher Zenodo
record_format zenodo
spellingShingle GödelOS Reference Implementation v0: Formal Operational Semantics and Executable System Specification
Hirst, Oliver C.
GödelOS
reference implementation
operational semantics
executable specification
state transition
cognitive architecture
Gödlø-class
The complete, language-agnostic reference implementation for GödelOS v0. Formalises the execution semantics, system constructor, update loop, state transition rules, module contracts, and stopping conditions. Self-contained and sufficient to implement GödelOS in any language without referencing external documents.
title GödelOS Reference Implementation v0: Formal Operational Semantics and Executable System Specification
topic GödelOS
reference implementation
operational semantics
executable specification
state transition
cognitive architecture
Gödlø-class
url https://doi.org/10.5281/zenodo.19084104