E-Dissertationen: Search
Now showing items 1-1 of 1
A Statically Typed Logic Context Query Language With Parametric Polymorphism and Subtyping
(2012-07-18)
The objective of this thesis is programming language support for context-sensitive program adaptations. Driven by the requirements for context-aware adaptation languages, a statically typed Object-oriented logic Context ...