Semantic essence of AsmL

DOI10.1016/J.TCS.2005.06.017MaRDI QIDQ2571205zbMATH OpenOpenAlexFDO

Authors Yuri Gurevich, Benjamin Rossman, Wolfram Schulte

Publication date 1 November 2005

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2005.06.017

zbMATH Keywords

abstract state machineexecutable specification language

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• Formal Methods for Components and Objects
• scientific article; zbMATH DE number 1951203
• scientific article; zbMATH DE number 1670507
• scientific article; zbMATH DE number 1670513
• CoreASM: an extensible ASM execution engine

Cites work

• scientific article; zbMATH DE number 1670469 (Why is no real title available?)
• scientific article; zbMATH DE number 3833274 (Why is no real title available?)
• scientific article; zbMATH DE number 4035108 (Why is no real title available?)
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 234014 (Why is no real title available?)
• Choiceless polynomial time
• Evolving Algebras 1993: Lipari Guide
• Ordinary interactive small-step algorithms, II
• Sequential abstract-state machines capture sequential algorithms
• Types and programing languages

Cited in

(8)

• Formal Methods for Components and Objects
• Software science view on quantum circuit algorithms
• Can abstract state machines be useful in language theory?
• A Verified AsmL Implementation of Belief Revision
• scientific article; zbMATH DE number 2186289 (Why is no real title available?)
• AsmL
• A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description)
• Play to Test

Describes a project that uses

Uses Software

• Featherweight Java
• Z
• OCaml
• HOL
• Haskell
• PVS
• ML

This page was built for publication: Semantic essence of AsmL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2571205)