Add to ORKGA program property is a predicate on programs. In this paper we explore program properties of the form U -> V where U and V are either predicates on states of a program or program properties, and -> satisfies three rules that are also used in reasoning about sequential programs and safety properties of parallel programs. We show how such properties can be used to reason about concurrent programs
We illustrate the potential for geometry of language and linguistic circuitry under the rendering of...
We describe a trace semantics of exceptions and then derive a weakest precondition semantics. A prog...
A multipartite tournament is an orientation of a complete multipartite graph. Simple derivations are...
A program property is a predicate on programs. In this paper we explore program properties of the fo...
AbstractWe introduce an alternative occurrence net semantics of S/T-systems which allows for arbitra...
AbstractIn this survey paper we start with a discussion how functionals of finite type can be used f...
We present a simple algorithm deciding the word problem of c. f. languages in O(n^{3}). It decides t...
The paper generalizes results of [B] by formulating their background in categories with a sufficient...
Java is an architecture-independent, object-oriented language designed to facilitate code-sharing ac...
Java is an architecture-independent, object-oriented language designed to facilitate code-sharing ac...
We present a simple algorithm deciding the word problem of c. f. languages in O(n^{3}). It decides t...
AbstractConcurrent object-oriented languages provide a suitable target for a compositional design pr...
Endomorphisms of stable planes are introduced, and it is shown that these are injective, locally con...
AbstractThe aim of this paper is to implement the β-reduction in the lambda;-calculus with a hypergr...
AbstractA general categorical description of subtyping σ < σ′ and of bounded quantification ∀α<: σ.τ...
We illustrate the potential for geometry of language and linguistic circuitry under the rendering of...
We describe a trace semantics of exceptions and then derive a weakest precondition semantics. A prog...
A multipartite tournament is an orientation of a complete multipartite graph. Simple derivations are...
A program property is a predicate on programs. In this paper we explore program properties of the fo...
AbstractWe introduce an alternative occurrence net semantics of S/T-systems which allows for arbitra...
AbstractIn this survey paper we start with a discussion how functionals of finite type can be used f...
We present a simple algorithm deciding the word problem of c. f. languages in O(n^{3}). It decides t...
The paper generalizes results of [B] by formulating their background in categories with a sufficient...
Java is an architecture-independent, object-oriented language designed to facilitate code-sharing ac...
Java is an architecture-independent, object-oriented language designed to facilitate code-sharing ac...
We present a simple algorithm deciding the word problem of c. f. languages in O(n^{3}). It decides t...
AbstractConcurrent object-oriented languages provide a suitable target for a compositional design pr...
Endomorphisms of stable planes are introduced, and it is shown that these are injective, locally con...
AbstractThe aim of this paper is to implement the β-reduction in the lambda;-calculus with a hypergr...
AbstractA general categorical description of subtyping σ < σ′ and of bounded quantification ∀α<: σ.τ...
We illustrate the potential for geometry of language and linguistic circuitry under the rendering of...
We describe a trace semantics of exceptions and then derive a weakest precondition semantics. A prog...
A multipartite tournament is an orientation of a complete multipartite graph. Simple derivations are...