Cover Image

Beyond SICP -- Design and Implementation of a Notional Machine for Scheme

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Abad, Kyriel, Henz, Martin
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Notions of Stack-manipulating Computation and Relative Monads (Extended Version)
by: Jiang, Yuchen, et al.
Published: (2025)

SimpliPy: A Source-Tracking Notional Machine for Simplified Python
by: Jain, Moida Praneeth, et al.
Published: (2025)

Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction
by: Drab, Tomasz
Published: (2024)

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
by: Carette, TItouan, et al.
Published: (2022)

Scheme Pearl: Quantum Continuations
by: Choudhury, Vikraman, et al.
Published: (2024)

A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine
by: Biernacka, Małgorzata, et al.
Published: (2026)

Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
by: Zhang, Zhicheng, et al.
Published: (2024)

An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages
by: Vidal, Germán
Published: (2023)

Target-Aware Implementation of Real Expressions
by: Saiki, Brett, et al.
Published: (2024)

A Monadic Implementation of Functional Logic Programs
by: Hanus, Michael, et al.
Published: (2026)

Homeostasis: Design and Implementation of a Self-Stabilizing Compiler
by: Nougrahiya, Aman, et al.
Published: (2021)

The Formal Semantics and Implementation of a Domain-Specific Language for Mixed-Initiative Dialogs
by: Rowland, Zachary S., et al.
Published: (2025)

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)
by: Paraskevopoulou, Zoe
Published: (2026)

Six Ways to Implement Divisibility by Three in miniKanren
by: Schreiber, Brett, et al.
Published: (2024)

Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation
by: Schimpf, Albert, et al.
Published: (2026)

Beyond Per-Thread Lock Sets: Multi-Thread Critical Sections and Dynamic Deadlock Prediction
by: Sulzmann, Martin
Published: (2025)

Pitfalls in VM Implementation on CHERI: Lessons from Porting CRuby
by: Liu, Hanhaotian, et al.
Published: (2026)

pyeb: A Python Implementation of Event-B Refinement Calculus
by: Cataño, Néstor
Published: (2025)

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
by: Huber, Nikolaus, et al.
Published: (2025)

SkyEgg: Joint Implementation Selection and Scheduling for Hardware Synthesis using E-graphs
by: Xiao, Youwei, et al.
Published: (2025)

CI/CD Efforts for Validation, Verification and Benchmarking OpenMP Implementations
by: Jarmusch, Aaron, et al.
Published: (2024)

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
by: Bagrel, Thomas
Published: (2026)

Probing the Design Space: Parallel Versions for Exploratory Programming
by: Beckmann, Tom, et al.
Published: (2025)

Beyond BLEU: A Semantic Evaluation Method for Code Translation
by: Näumann, Julius, et al.
Published: (2026)

Design Support for Multitape Turing Machines
by: Morazán, Marco T., et al.
Published: (2025)

Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language
by: Zhang, Yihong, et al.
Published: (2025)

Beyond Cons: Purely Relational Data Structures
by: Sanna, Rafaello, et al.
Published: (2025)

Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
by: Liesnikov, Bohdan, et al.
Published: (2025)

Characterizing Implementability of Global Protocols with Infinite States and Data
by: Li, Elaine, et al.
Published: (2024)

Implementing CPSLint: A Data Validation and Sanitisation Tool for Industrial Cyber-Physical Systems
by: Odyurt, Uraz, et al.
Published: (2026)

Cerisier: A Program Logic for Attestation in a Capability Machine
by: Rousseau, June, et al.
Published: (2026)

Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine
by: Jung, Christoph, et al.
Published: (2025)

The Session Abstract Machine (Extended Version)
by: Caires, Luís, et al.
Published: (2024)

Spatial Data Science Languages: commonalities and needs
by: Pebesma, Edzer, et al.
Published: (2025)

Enhancing Python Programming Education with an AI-Powered Code Helper: Design, Implementation, and Impact
by: Amiri, Sayed Mahbub Hasan, et al.
Published: (2025)

Cost Analysis for Import and Export Using an Abstract Machine
by: Bennetzen, Benjamin, et al.
Published: (2024)

BlueScript: A Disaggregated Virtual Machine for Microcontrollers
by: Mochizuki, Fumika, et al.
Published: (2025)

Beyond the Phase Ordering Problem: Finding the Globally Optimal Code w.r.t. Optimization Phases
by: Wang, Yu, et al.
Published: (2024)

Macaw: A Machine Code Toolbox for the Busy Binary Analyst
by: Scott, Ryan G., et al.
Published: (2024)

The Design Principles of the Elixir Type System
by: Castagna, Giuseppe, et al.
Published: (2023)