What is the natural abstraction level of an algorithm?

DOI10.1007/978-3-030-76020-5_12OpenAlexW3166275425MaRDI QIDQ2117593

Andreas Prinz

Publication date: 22 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-76020-5_12

zbMATH Keywords

semanticsabstractiondescriptionabstract state machineexecution

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Uses Software

• ATL

Cites Work

• Unnamed Item
• Unnamed Item
• Concurrent abstract state machines
• ATL: A model transformation tool
• The revised report on the syntactic theories of sequential control and state
• The formal semantics of SDL-2000: Status and perspectives.
• A structural approach to operational semantics
• Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
• Persistent queries in the behavioral theory of algorithms
• Computability and Logic
• Abstract State Machines
• Evolving Algebras 1993: Lipari Guide
• Abstract state machines capture parallel algorithms
• Ordinary interactive small-step algorithms, I
• Abstract state machines capture parallel algorithms
• Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
• Sequential abstract-state machines capture sequential algorithms
• On Computable Numbers, with an Application to the Entscheidungsproblem

This page was built for publication: What is the natural abstraction level of an algorithm?