© Egon Börger: ASM
Refinement Techniques
39
References on Backtracking
Machine
•E.Börger and D. Rosenzweig: Mathematical Definition of Full Prolog
–In: Science of Computer Programming 24 (1995)
249-286
•E.Börger and R.F.Salamone: CLAM Specification for Provably Correct Compilation of CLP ( R ) Programs
–In: E.Börger (Ed.) Specification and
Validation Methods. Oxford University Press, 1995, 97-130
•E.Börger, F.J.Lopez-Fraguas,
M.Rodrigues-Artalejo: A Model for Mathematical
Analysis of Functional Programs and their
Implementations
–In: B.Pehrson and I.Simon (Eds.): IFIP 13
World Computer Congress 1994, Vol.I: Technology/Foundations, 410-415
•D. Johnson and L. Moss: Grammar Formalisms Viewed als Evolving Algebras
–Linguistics and Philosophy 17 (1994) 537-560