The educational literature recognizes that people go through a number of stages in their intellectual development. During the first stage, called received knowledge or dualism, p...
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
We define a set of deterministic bottom-up left to right parsers which analyze a subset of Tree Adjoining Languages. The LR parsing strategy for Context Free Grammars is extended ...
This paper follows a formal approach to information retrieval based on statistical language models. By introducing some simple reformulations of the basic language modeling approa...
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...