Navel(ID:2831/nav002)

Functional Language, Greg Michaelson, Herriot-Watt Uni 1994

The functional language Navel has been developed to enable the implementation of programming languages as interpreters from their formal semantics. Navel integrates grammar rules as first class values within a strict, run time typed, pure functional language with lazy list construction. Navel has also been used in the implementation of data strutures as self modifying functions, in particular constant space update queues and balanced binary trees.

Structures:
References:
  • Michaelson, G. "Interpreters from Functions and Grammars" view details
          in Computer Languages 11(2) view details
  • Michaelson, G. "Text generation from grammars" pp566-568 view details
          in Information and Software Technology 32(8) October 1990 view details