An ASM dynamic semantics for standard ML

DOI10.1007/3-540-44518-8_12MaRDI QIDQ2753709zbMATH OpenFDO

Authors S. Cater, James K. Huggins

Publication date 11 November 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44518-8_12

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 3999261
• Formal Methods for Components and Objects
• scientific article; zbMATH DE number 1543078
• Xasm -- an extensible, component-based abstract state machines language
• Frontiers of Combining Systems

Cited in

(5)

• Semantic essence of AsmL
• scientific article; zbMATH DE number 1951197 (Why is no real title available?)
• scientific article; zbMATH DE number 3999261 (Why is no real title available?)
• Formal Methods for Components and Objects
• Abstract State Machines 2004. Advances in Theory and Practice

This page was built for publication: An ASM dynamic semantics for standard ML

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