MINSE: [index]
design - syntax - usage - notations - styles - contexts - why? - demo
common context - mathematics context

Context definitions

MINSE is only a general syntax specification, and allows for a variety of semantic meanings to be given to the compounds used in expressions. The collection of mappings from compound names to meanings, together with the ordered list of operators (with their short forms and associativity types) constitutes a context definition. A context definition suffices to completely define the meaning of any MINSE expression within that context.

The common context contains concepts and symbols that apply generally, and so are part of all the other contexts.

On top of the common context is added a context appropriate to the application. For now, work has only been done on the mathematics context, but some other possibilities are listed here as well.

copyright © by Ping (e-mail) updated Mon 17 Jun 1996 at 10:19 JST
since Tue 28 May 1996