Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: abstract syntax

Sortuj według:

Ogranicz wyniki do:

Hoare-Style Verification of Graph Programs

Poskitt C. M., Plump D.

Fundamenta Informaticae

2012

Vol. 118, nr 1-2

135-175

GP (for Graph Programs) is an experimental nondeterministic programming language for solving problems on graphs and graph-like structures. The language is based on graph transformation rules, allowing visual programming at a high level of abstraction. In particular, GP frees programmers from dealing with low-level data structures. In this paper, we present a Hoare-style proof system for verifying the partial correctness of (a subset of) graph programs. The pre- and postconditions of the calculus are nested graph conditions with expressions, a formalism for specifying both structural graph properties and properties of labels. We show that our proof system is sound with respect to GP’s operational semantics and give examples of its use.

Reprezentacja danych XML w notacji ASN.1

Kosmulska-Bochenek E.

Studia Informatica

2003

Vol. 24, nr 2A

269-276

Artykuł dotyczy notacji uzyskanej z polączenia dwóch standardów reprezentacji danych: ASN.1 i XML. Przedstawiono istotę notacji ASN.1 i XML oraz połączoną notację ASN.1 i XML. Obie notacje dają możliwość specyfikacji danych w celu późniejszego przesłania ich przez sieć, ale różnica polega na liczbie bajtów wygenerowanych dla transferu. Przedstawiono zasady tworzenia kodu tranferu dla obu języków. Przytoczony w artykule przykład ilustruje proces kodowania w obu notacjach oraz dostarcza ilościowego porównania kodu tranferowego otrzymanego w obu przypadkach dla tych samych danych. W zakończeniu artykułu podano obszar zastosowań tego rodzaju standardu oraz aktualny stan prac normalizacyjnych.

The paper describes the notation resulting from two standards of data representation: ASN.1 and XML. The basis ideas of the two notations are outlined and benefis from combining them are presented. The both languages produce a network transfer code, but there is a difference in number of resulting bytes. The rules for encoding data structures for ASN.1 and XML are introduced. An example proving the difference in therms of volume for transfer message using rules for XML schema and ASN.1 encoding rules is presented. Some potential application domains and a current state of normalization process complete the paper