Rule-based graph programming is a deep and rich topic. We present an approach to
exploiting the power of graph programming as a representation and as an execution …

The graph programming language GP (Graph Programs) 2 and its implementation is the
subject of this thesis. The language allows programmers to write visual graph programs at a …

Program logics typically reason about an over-approximation of program behaviour to prove
the absence of bugs. Recently, program logics have been proposed that instead prove the …

We present strategic port graph rewriting as a basis for the implementation of visual
modelling tools. The goal is to facilitate the specification and programming tasks associated …

The core challenge in a Hoare-or Dijkstra-style proof system for graph programs is in
defining a weakest liberal precondition construction with respect to a rule and a …

Implementing graph algorithms efficiently in a rule-based language is challenging because
graph pattern matching is expensive. In this paper, we present a number of linear-time …

The categorical framework of \mathcalM-adhesive transformation systems does not cover
graph transformation with relabelling. Rules that relabel nodes are natural for computing …

The category Set_* of sets and partial functions is well-known to be traced monoidal,
meaning that a partial function S+ U-/-> T+ U can be coherently transformed into a partial …

The objective of the study is to develop a Spiritual Orientation Scale, which is to be utilized to
evaluate spiritual orientation of individuals. 872 university students (492 females and 380 …

Bu çalışmada, bireylerin manevi yönelimlerini değerlendirmeye ilişkin Manevi Yönelim
Ölçeği geliştirmek amaçlanmıştır. Ölçeğin geliştirilmesi çalışmasına 872 üniversite öğrencisi …