The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
This paper describes the motivation and design of an introductory computational course for natural, physical, and social scientists. Categories and Subject Descriptors: K.3.2 Comp...
This paper introduces an approach to representing the kinds of information that components in a natural language generation (NLG) system will need to communicate to one another. T...
Chris Mellish, Roger Evans, Lynne J. Cahill, Chris...
Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-up starting with the facts or top-down starting with the query. For efficiently answe...
Abstract. Proponents of aspect orientation have successfully seeded the impression that aspectsālike objectsāare so fundamental a notion that they should pervade all phases and...