Image de couverture de livre

The May Programming Language, Source and Executable

Fuente: Zenodo

Enregistré dans:

Détails bibliographiques
Auteur principal:	Mirrlees-Black, Alexandra
Format:	Recurso digital
Langue:	anglais
Publié:	Zenodo 2025
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Self-Programmed Execution for Language-Model Agents
par: O'Connor, Luke J.
Publié: (2026)

Real-Time Execution of Action Chunking Flow Policies
par: Black, Kevin, et autres
Publié: (2025)

"Lasers in the Jungle" Programming Tips, Techniques and Ideas for Young Adults.
par: Black, Nancy
Publié: (1992)

May the Source Be with You!
par: Griffith, Cary
Publié: (1987)

SGLang: Efficient Execution of Structured Language Model Programs
par: Zheng, Lianmin, et autres
Publié: (2023)

Execution-free Program Repair
par: Huang, Li, et autres
Publié: (2024)

Program: (Scientific Program as of May 5, 2009)
par:
Publié: (2010)

Connecting Best Practices: An Examination of Public School Principals' Knowledge and Perceptions of Their School Library Media Programs
par: Blakeney, Allison Black
Publié: (2014)

GenerationPrograms: Fine-grained Attribution with Executable Programs
par: Wan, David, et autres
Publié: (2025)

Towards Generating Executable Metamorphic Relations Using Large Language Models
par: Shin, Seung Yeob, et autres
Publié: (2024)

SID 2025 Executive and Program Committee
Publié: (2025)

SID 2025 Executive and Program Committee
Publié: (2025)

SID 2025 Executive and Program Committee
Publié: (2025)

Trustworthy Distributed Certification of Program Execution
par: Wolf, Alex, et autres
Publié: (2024)

SID 2024 Executive and Program Committee
Publié: (2024)

SID 2024 Executive and Program Committee
Publié: (2024)

Xiaomi-Robotics-0: An Open-Sourced Vision-Language-Action Model with Real-Time Execution
par: Cai, Rui, et autres
Publié: (2026)

ONDA: A High-Level Quantum Programming Language with Sequential Execution and Conditional Branching
par: De Gregorio, Francesco Junior
Publié: (2024)

Monte Carlo Tree Search for Execution-Guided Program Repair with Large Language Models
par: Liang, Yixuan
Publié: (2026)

Trade Execution Flow as the Underlying Source of Market Dynamics
par: Belov, Mikhail Gennadievich, et autres
Publié: (2025)

Paper V: The Execution Mechanism — How the Unique Executable Program Unfolds on the FCC Lattice
par: Kapitanov, Fedor
Publié: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
par: Helbling, Caleb, et autres
Publié: (2025)

Life at the Boundary of Chemical Kinetics and Program Execution
par: Fischbacher, Thomas
Publié: (2025)

Symbolic Execution for Quantum Error Correction Programs
par: Fang, Wang, et autres
Publié: (2023)

The Influence of Incentive Programs on Executives’ Risk Perception
par: Edson Lopes Cedraz Filho
Publié: (2020)

Perception and Use of Information Sources by Chief Executives in Environmental Scanning.
par: Choo, Chun Wei
Publié: (1994)

EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths
par: Li, Zhening, et autres
Publié: (2025)

On LLM-generated Logic Programs and their Inference Execution Methods
par: Tarau, Paul
Publié: (2025)

The Path Not Taken: Duality in Reasoning about Program Execution
par: Hasanov, Eshgin, et autres
Publié: (2026)

Anteater: Interactive Visualization of Program Execution Values in Context
par: Faust, Rebecca, et autres
Publié: (2019)

STELP: Secure Transpilation and Execution of LLM-Generated Programs
par: Shinde, Swapnil, et autres
Publié: (2026)

VDebugger: Harnessing Execution Feedback for Debugging Visual Programs
par: Wu, Xueqing, et autres
Publié: (2024)

VDCores: Resource Decoupled Programming and Execution for Asynchronous GPU
par: He, Zijian, et autres
Publié: (2026)

L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution
par: Sun, Simeng, et autres
Publié: (2025)

The Federal Executive Departments as Sources of Information for Libraries. Bulletin, 1919, No. 74
par: Guerrier, Edith, Comp.
Publié: (1919)

Integrating Technology in Program Development for Children and Youth with Emotional or Behavioral Disorders. Fourth CCBD Mini-Library Series: Addressing the Diverse Needs of Children and Youth with Emotional/Behavioral Disorders--Programs That Work.
par: Wilder, Lynn K., Ed., et autres
Publié: (2002)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
par: Yang, Fanpeng, et autres
Publié: (2025)

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
par: Yaacov, Tom, et autres
Publié: (2024)

Teaching LLMs Program Semantics via Symbolic Execution Traces
par: Bayer, Jonas, et autres
Publié: (2026)

SpaceTime Programming: Live and Omniscient Exploration of Code and Execution
par: Döderlein, Jean-Baptiste, et autres
Publié: (2026)