Ralf Hauber, Theodorich Kopetzky,
"Outlining Graph Typing with Guts"
: Proc. 3rd International Austrian-Israeli Technion Symposium cum Industrial Forum, Software for Communication Technologies, Hagenberg, Austria, 4-1999, ISBN: 3-9501023-0-2, Hauber, R.; Kopetzky, T.: Outlining Graph Typing with Guts. In: Proc. 3rd International Austrian-Israeli Technion Symposium cum Industrial Forum, Software for Communication Technologies, Hagenberg, Austria, 26-27 April 1999, pp. 165-170
Original Titel:
Outlining Graph Typing with Guts
Sprache des Titels:
Englisch
Original Buchtitel:
Proc. 3rd International Austrian-Israeli Technion Symposium cum Industrial Forum, Software for Communication Technologies, Hagenberg, Austria
Englische Kurzfassung:
Typing relates instances to types. In 'graph typing' both the instances and the types are graphs. The nodes of an instance graph are the items that are typed, and the edges are relations between items. 'Graph typing' generalizes the kind of typing known from programming languages, where the instances form a tree and the only directly supported relation among types ist the 'is-a' relation.
Guts is a framework for 'graph typing', originating in typing hypertext. In this paper we present our initial motivation for GUTS. It supports 'graph typing', and types can be defined with or without formal meaning (semantics).
Erscheinungsmonat:
4
Erscheinungsjahr:
1999
Notiz zum Zitat:
Hauber, R.; Kopetzky, T.: Outlining Graph Typing with Guts. In: Proc. 3rd International Austrian-Israeli Technion Symposium cum Industrial Forum, Software for Communication Technologies, Hagenberg, Austria, 26-27 April 1999, pp. 165-170
Forschungs-