Programming an interpreter using molecular dynamics

MaRDI QIDQ3185843zbMATH OpenFDO

Authors J. A. Bergstra, C. A. Middelburg

Publication date 5 August 2016

zbMATH Keywords

molecular dynamicsprogramming of an interpreter

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Program algebra for component code
• Molecular dynamics
• Program algebra for sequential code
• Logical Approaches to Computational Barriers
• An algebraic model of von Neumann programming languages

Cited in

(1)

• Molecular dynamics

This page was built for publication: Programming an interpreter using molecular dynamics

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