|Title:||A language for specifying hyperdocuments|
|Abstract:||The architecture of hyperdocuments is described using an object-oriented approach and first order logic. The architectural description focusses on the static behavior of linkable document, it is based o n persistent data the properties of which are described using mechanisms from logic programming. It is shown how to build up specialization hierarchies and generic document classes. The semantics of a hyperdocument is given compositionally through the semantics of its documents parts.|
|Appears in Collections:||LS 10 Software-Technologie|
This item is protected by original copyright
All resources in the repository are protected by copyright.