— A user interface description language (UIDL) consists of a specification language that describes various aspects of a user interface under development. A comparative review of ...
This paper introduces the Simulation Architecture Description Language (SADL) developed at the National Aeronautics and Space Administration's Marshall Space Flight Center to...
Abstract. A review of XML-compliant user interface description languages is produced that compares a significant selection of various languages addressing different goals, such a...
Research in formal description of programming languages over the past four decades has led to some significant achievements. These include formal syntax and semantics for complete...
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...