101 research outputs found
An assertion language for constraint logic programs
In an advanced program development environment, such as that discussed in the introduction of this book, several tools may coexist which handle both the program and information on the program in different ways. Also, these tools may interact among themselves and with the user. Thus, the different tools and the user need some way to communicate. It is our design principie that such communication be performed in terms of assertions. Assertions are syntactic objects which allow expressing properties of programs. Several assertion languages have been used in the past in different contexts, mainly related to program debugging. In this chapter we propose a general language of assertions which is used in different tools for validation and debugging of constraint logic programs in the context of the DiSCiPl project. The assertion language proposed is parametric w.r.t. the particular constraint domain and properties of interest being used in each different tool. The language proposed is quite general in that it poses few restrictions on the kind of properties which may be expressed. We believe the assertion language we propose is of practical relevance and appropriate for the different uses required in the tools considered
Modality and uncertainty in data visualizations : A corpus approach to the use of connecting lines
publishedVersionPaid Open Acces
The Murrow Legend as Metaphor: The Creation, Appropriation, and Usefulness of Edward R. Murrow\u27s Life Story
Gary Edgerton\u27s contribution to the Journal of American Culture, Vol. 15
Graphical methods for multivariate linear models in psychological research: An R tutorial
Substantial contribution of genetic variation in the expression of transcription factors to phenotypic variation revealed by eRD-GWAS
Statistical strategies for avoiding false discoveries in metabolomics and related experiments
- …