Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: data type

Sortuj według:

Ogranicz wyniki do:

Data types in the EXPRESS language

Michalčík T., Čuboňová N.

Postępy Nauki i Techniki

2011

nr 6

134-144

Defined data types are provided as part of the language. Every attribute, local variable or formal parameter has an associated data type. The core information modelling language consists of data types that determine its modelling capabilities. Based on the data types of traditional programming languages, language EXPRESS absorbing mechanisms used in object-oriented technologies, such as inheritance mechanism which is used to describe the production data, using a wide range of data types. This article dealt with the data types of EXPRESS language, and describe their basic options.

Zdefiniowane typy danych są dostarczane jako część języka programowania. Każdy atrybut, zmienna lokalna lub parametr formalny ma skojarzony typ danych. Kod źródłowy języka programowania zawiera typy danych, które określają jego możliwości programowania. W oparciu o typy danych z tradycyjnych języków programowania, język EXPRESS wykorzystuje mechanizmy stosowane w technologiach programowania obiektowego, takie jak mechanizm dziedziczenia, który jest używany do opisu procesu produkcyjnego, przy użyciu szerokiego zakresu typów danych.

Context-exploiting shapes for diagram transformation

Drewes F., Hoffmann B., Minas M.

Machine Graphics and Vision

2003

Vol. 12, No. 1

117-132

DIA PLAN is a language for programming with graphs representing diagram that is currently being developed. The computational model of the language - nested graph transformation - suports nested structuring of graphs and graph variables, but is still intuitive. This paper discusses structural typing of nested graphs and nested graph transformation systems by shape rules. We extend the context-free shape rules proposed in earlier work to contexy-exploiting shape rules with which many relevant graph structures can be specifed. The conformance of a nested graph to the shape rules is decidable. If a trabsformation system conforms to shape rules as well. it can be shown to preserve shape conformance of the graphs it is applied to. This sets up a static type discipline for nested graph transformation.