Published in Volume XVII, 2007, pages 47-81

Authors: J. A. Bergstra and C. A. Middelburg

Abstract

PGA (ProGram Algebra) is an algebra of programs which concerns
programs in their simplest form: sequences of instructions.
Molecular dynamics is a simple model of computation developed in the
setting of PGA, which bears on the use of dynamic data structures in
programming.

Full Text (PDF)

Bibtex

@article{sacscuza:bergstra2007paiumd,
  title={Programming an Interpreter Using Molecular Dynamics},
  author={J. A. Bergstra and C. A. Middelburg},
  journal={Scientific Annals of Computer Science},
  volume={17},
  organization={``A.I. Cuza'' University, Iasi, Romania},
  year={2007},
  pages={47--81},
  publisher={``A.I. Cuza'' University Press}
}