KSL: a reflective object-oriented programming language

Abstract

KSL (Knowledge Specification Language) is an object-oriented programming language that supports data abstraction, inheritance, and message-sending. KSL is also fully reflective, as a result of representing all of the language constructs as objects. Reflectivity allows the object paradigm to be applied to: the development, analysis, and translation of KSL; the extension of KSL to implement additional programming paradigms; and the development of applications that modify themselves. The authors provide an overview of KSL, its object representation, and how its reflectivity is achieved.<>