Sciweavers

6016 search results - page 68 / 1204
» The semantics of graphical languages
Sort
View
ICALP
2000
Springer
15 years 8 months ago
Graph Transformations on the UML Metamodel
The Unified Modeling Language UML is a rich language so that it seem not feasible to give a single semantics for the complete language in one ste In order to define the semantics,...
Martin Gogolla
ICDE
1993
IEEE
103views Database» more  ICDE 1993»
15 years 8 months ago
IsaLog: A declarative language for complex objects with hierarchies
The IsaLog model and language are presented. The model has complex objects with classes, relations, and isa hierarchies. The language is strongly typed and declarative. The main i...
Paolo Atzeni, Luca Cabibbo, Giansalvatore Mecca
AMAST
2004
Springer
15 years 9 months ago
Separate Compositional Analysis of Class-Based Object-Oriented Languages
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...
Francesco Logozzo
BIRTHDAY
2006
Springer
15 years 8 months ago
Semantic Web Languages - Towards an Institutional Perspective
The Semantic Web (SW) is viewed as the next generation of the Web that enables intelligent software agents to process and aggregate data autonomously. Ontology languages provide ba...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
AGI
2008
15 years 5 months ago
Real Time Machine Deduction and AGI
: Consistent with the ultimate goals of AGI, we can expect that deductive consequences of large and grammatically varied text bases would not be generated by sequential application...
Peter G. Tripodes