A Functional Abstract Machine for Implementation of Functional Programming Languages Part I

  • Jerinic Ljubomir
  • Published 2013

Abstract

A formal system of describing a functional abstract machine used in the implementation of a purely functional programming language A_LispKit Lisp is described. The basis for this was a SECD machine [La64, St83a, St83b], which has been used in the implementation of various versions of functional programming languages [Sto84, St84, He80, BuIv89, BuIv90a… (More)

Topics

Cite this paper

@inproceedings{Ljubomir2013AFA, title={A Functional Abstract Machine for Implementation of Functional Programming Languages Part I}, author={Jerinic Ljubomir}, year={2013} }