This dissertation presents a logic-based declarative programming language, STAPLE, designed to facilitate the development of teams of autonomous agents capable of coordin [...]

Despite advances in programming language design, much systems software continues to be written in low-level or legacy languages due to challenges in aligning modern langu [...]

Meta-programming, writing programs that write other programs, involves two kinds of languages. The meta-language is the language in which meta-programs, which construct o [...]

A new language incorporating both ML-style type checking and a limited form of reflection is defined by giving an interpreter and showing how this interpreter may be inte [...]

This thesis develops the core type system for a Haskell-like functional programming language that directly supports dynamic, active documents. The first part prese [...]

Timely and accurate documentation of medical information remains a formidable challenge in healthcare. This challenge has persisted despite rapid advances in computer tec [...]