Zhi# - OWL Aware Compilation

Zhi# is an extension of C# 1.0 to include XSD data types and OWL classes as first-class citizens of the programming language.

Implementing OCL Invariants with Constrained Data Types

This paper compares the implementation of OCL invariants in program code by means of aspect-oriented programming (AOP) on the one hand and by means of value space constrained data types on the other hand.

Static Typing with Value Space-based Subtyping

This paper presents a formal type system for atomic value types as an extension of the simply typed lambda calculus with subtyping. In the λ_C-calculus, value types can be derived through the application of value space constraints.