abstract core
powerful lightweight flexible abstract language, combining higher order logic, set theory and functional programming.
Logical strength permits development by conservative extension.
|
|
flexible syntax
will provide control over the concrete presentation of each new entity defined
|
semantic embedding
will permit formal languages to be defined, syntactically and semantically, and applied using the tools
|
|
hypermedia presentation
of all formal material will be supported, emerging standards (such as XML) will be intercepted
|
interworking
will be supported by implementation of relevant standards, to be identified
|
|